Correctness preserving program refinements: Proof theory and applications (Mathematical Centre tracts) - Softcover
Search results for Correctness preserving program refinements: Proof theory...
Seller Image
Correctness Preserving Program Refinements: Proof Theory and Applications
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 118 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 280. Seller Inventory # 2016195
Buy Used
US$ 23.68
US$ 11.46 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available