Correctness preserving program refinements: Proof theory and applications (Mathematical Centre tracts) - Brossura
Sinossi
European Book
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Correctness preserving program refinements: Proof theory...
Immagini fornite dal venditore
Correctness Preserving Program Refinements: Proof Theory and Applications
Editore:
Mathematisch Centrum, 1980
ISBN 10: 9061962072
ISBN 13: 9789061962076
Antico o usato
Broschiert
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: 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. Codice articolo 2016195
Compra usato
EUR 19,95
Spedizione EUR 7,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili