Articoli correlati a Formal Methods of Program Verification and Specification
Sinossi
Book by Franta
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods of Program Verification and Specification
Foto dell'editore
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0133288072I5N00
Compra usato
EUR 17,94
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods of Program Verification and Specification
Editore:
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-840-331
Compra usato
EUR 4,74
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods of Program Verification and Specification
Editore:
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-596-348
Compra usato
EUR 4,76
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods of Program Verification and Specification
Editore:
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-751-673
Compra usato
EUR 4,76
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods of Program Verification and Specification
Editore:
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-551-412
Compra usato
EUR 4,76
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili