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 (International Computer Science Series)
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0201416247I3N00
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
Buy Used
£ 12.56
£ 8 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
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
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. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA79602014162476