Items related to Program Derivation: The Development of Programs from...
Program Derivation: The Development of Programs from Specifications (International Computer Science Series) - Softcover
Synopsis
For too long, computer programs have been written without the support of a rigorous mathematical and logical framework. Dromey (Griffith U. Australia) exposes this framework and makes the principles of formal program derivation accessible to novice programmers. He builds on the pioneering work of Dijkstra, Hoare, Gries and others. Annotation copyri
"synopsis" may belong to another edition of this title.
Search results for Program Derivation: The Development of Programs from...
Stock Image
Program Derivation: The Development of Programs from Specifications
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Stains on the edge. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-573-280
Quantity: 1 available
Stock Image
Program Derivation : The Development of Programs from Specifications
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP11433564
Quantity: 1 available
Stock Image
Program Derivation : The Development of Programs from Specifications
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # 17157805-6
Quantity: 1 available
Stock Image
Program Derivation: The Development of Programs from Specifications (International Computer Science Series)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA79602014162476
Quantity: 1 available