Verwandte Artikel zu Formal Methods of Programme Verification and Specification...
Formal Methods of Programme Verification and Specification (Prentice-Hall Software Series) - Hardcover
Inhaltsangabe
Firma anterior poseedor. Buen estado
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagLongman Higher Education
- Erscheinungsdatum1982
- ISBN 10 0133288072
- ISBN 13 9780133288070
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten224
- Kontakt zum HerstellerNicht verfügbar
Suchergebnisse für Formal Methods of Programme Verification and Specification...
Beispielbild für diese ISBN
Formal Methods of Program Verification and Specification
Verlag:
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-751-673
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods of Program Verification and Specification
Verlag:
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-840-331
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Anbieter: BookHolders, Towson, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 6894837
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods of Program Verification and Specification
Verlag:
Prentice-Hall, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Gebraucht
Hardcover
Erstausgabe
Anbieter: Reader's Corner, Inc., Raleigh, NC, USA
Verkäuferbewertung 5 von 5 Sternen
Cloth. Zustand: Very Good. No Jacket. First. Bestandsnummer des Verkäufers 001987
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods of Program Verification and Specification
Verlag:
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-596-348
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods of Program Verification and Specification
Verlag:
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-551-412
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. book. Bestandsnummer des Verkäufers ERICA82701332880723
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: 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! Bestandsnummer des Verkäufers S_389222510
Anzahl: 1 verfügbar