Articoli correlati a The foundations of program verification (Wiley-Teubner...
Risultati della ricerca per The foundations of program verification (Wiley-Teubner...
Immagini fornite dal venditore
The foundations of program verification.
Editore:
Stuttgart [Germany], B.G. Teubner; Wiley, 1984
ISBN 10: 3519021013
ISBN 13: 9783519021018
Antico o usato
Rilegato
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
Hardcover. ix, 230 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03362 3519021013 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2513055
Quantità: 1 disponibili
Foto dell'editore
The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
ISBN 10: 3519021013
ISBN 13: 9783519021018
Antico o usato
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Pp. Condizione: Gut. IX, 230 S. , 24 cm Sofort verfügbar Versand am folgenden Arbeitstag mit Rechnung daily shipping wordwide with invoice ex library Sprache: Deutsch Gewicht in Gramm: 550. Codice articolo 124332
Quantità: 1 disponibili
Foto dell'editore
The foundations of program verification (Wiley-Teubner series in computer science) [Board book]
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Bumps/wear at edges and corners of hard board. Some light storage marks and scratches to hard board. Pages excellent, clean and legible. Codice articolo 005808-10
Quantità: 1 disponibili