Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science) - Hardcover
Synopsis
Specification and Transformation of Programs is short for a methodology of software development where, from a formal specification of a problem, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. This book is primarily intended as a general introductory textbook. It can also be seen as a comprehensive account of the transformational methodology developed within the Munich CIP project. The contents of the book reflect the essential steps in a sequential process of software development from an informally stated problem, via a formal problem specification, to a final, efficient program. Aspects considered include linguistic means for describing the various intermediate stages in the process, individual techniques for the transition between these stages, and strategies for applying these techniques. All aspects are illustrated by representative examples.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Specification and Transformation of Programs: A Formal...
Stock Image
Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0387523561I4N00
Stock Image
Specification and Transformation of Programs : A Formal Approach to Software Development
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages. Seller Inventory # 18889277-6
Buy Used
US$ 13.90
Shipping:
US$ 10.52
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Specification and Transformation of Programs: A Formal Approach to Software Development (Texts and Monographs in Computer Science)
Published by
Springer, New York
ISBN 10: 0387523561
ISBN 13: 9780387523569
Used
Hardcover
First Edition
Seller: Alien Bindings, BALTIMORE, MD, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. No Jacket. First Edition. Brand New except for a single hand stamp is on the front flyleaf. The covers look great. The binding is tight. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge. Seller Inventory # 06645
Stock Image
Specification and Transformation of Programs: A Formal Approach to Software Development (Texts and Monographs in Computer Science)
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Gebundene Ausgabe. Condition: Sehr gut. 493 Seiten Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 181697