Correctness Preserving Program Refinements: Proof Theory and Applications Back,
23,00 €
Mathematisch Centrum 1980. 118 Seiten; Broschiert Sprache: Englisch ISBN: 9061962072 EAN: 9789061962076 Bestell-Nr: 2016195 Bemerkungen: 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. .
Jetzt bei Ebay:
