Correctness preserving program refinements: Proof theory and applications (Mathematical Centre tracts) - Tapa blanda
Resultados de la búsqueda para Correctness preserving program refinements: Proof theory...
Imagen del vendedor
Correctness Preserving Program Refinements: Proof Theory and Applications
Publicado por
Mathematisch Centrum, 1980
ISBN 10: 9061962072
ISBN 13: 9789061962076
Antiguo o usado
Broschiert
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: 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. Nº de ref. del artículo: 2016195
Comprar usado
EUR 19,95
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles