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: BookHolders, Towson, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: Reprint ] Publisher: Prentice Hall Pub Date: 4/1/1982 Binding: Hardcover Pages: 207 Reprint edition. Codice articolo 6894837
Compra usato
EUR 1,85
Spedizione EUR 3,37
Spedito in U.S.A.
Spedito in U.S.A.
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_416689049
Compra usato
EUR 6,32
Spedizione EUR 3,17
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0133288072I3N00
Compra usato
EUR 9,80
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 (Prentice-Hall Software Series)
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0133288072I4N00
Compra usato
EUR 9,80
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 (Prentice-Hall Software Series)
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0133288072I3N10
Compra usato
EUR 9,80
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 (Prentice-Hall Software Series)
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0133288072I4N00
Compra usato
EUR 9,80
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 (Prentice-Hall Software Series)
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0133288072I3N00
Compra usato
EUR 9,80
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:
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
Compra usato
EUR 9,58
Spedizione EUR 4,65
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: 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 6,49
Spedizione EUR 20,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 6,49
Spedizione EUR 20,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili