PROLOG: From Formal Specification to Prototype (Computer Science Texts)

-

ISBN 10: 0632031611 / ISBN 13: 9780632031610

Edité par - -, 1991

A propos de cet article

This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. N° de réf. du vendeur 6545-9780632031610

Détails bibliographiques

Titre : PROLOG: From Formal Specification to ...

Éditeur : - -

Date d'édition : 1991

Reliure : Hardcover

Etat : Very Good

A propos de ce titre

Synopsis :

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.