Your price
Out of Stock


From Formal Specification to Prototype. Computer Science Texts

Format: Paperback
Publisher: McGraw-Hill Education - Europe, Oxford, United Kingdom
Imprint: Alfred Waller Ltd
Published: 1st Aug 1991
Dimensions: w 153mm h 234mm
Weight: 7000g
ISBN-10: 0632031611
ISBN-13: 9780632031610
Barcode No: 9780632031610
This book aims to introduce readers, familiar with procedural programming language such as Pascal, to the ideas of declarative programming. The reader is introduced to most of the features of the Prolog language. The relationship between Prolog and the formal specification language is emphasized as is the role which Prolog plays in the software life cycle. The book also discusses how Prolog can be used to implement object-oriented concepts.

New & Used

Seller Information Condition Price
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now