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.
- EditorePrentice Hall
- Data di pubblicazione1982
- ISBN 10 0133288072
- ISBN 13 9780133288070
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine207
- RedattoreBerg H. K.
- Contatto del produttorenon disponibile
Risultati della ricerca per Formal Methods of Program Verification and Specification
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
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
Quantità: 1 disponibili
Foto dell'editore
Formal Methods of Program Verification and Specification
Editore:
Prentice-Hall, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Antico o usato
Rilegato
Prima edizione
Da: Reader's Corner, Inc., Raleigh, NC, U.S.A.
Valutazione del venditore 5 su 5 stelle
Cloth. Condizione: Very Good. No Jacket. First. Codice articolo 001987
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
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
Quantità: 1 disponibili
Foto dell'editore
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. book. Codice articolo ERICA82701332880723
Quantità: 1 disponibili
Foto dell'editore
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_389222510
Quantità: 1 disponibili