Formal Methods Prog Verificatn
Berg
ISBN 10: 0133288072 ISBN 13: 9780133288070
Verlag: Stationery Office, The, 1982
Gebraucht
Hardcover
Verkäufer
Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 3. August 2006
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers GRP37394405
Inhaltsangabe:
Firma anterior poseedor. Buen estado
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Formal Methods Prog Verificatn
Verlag: Stationery Office, The
Erscheinungsdatum: 1982
Einband: Hardcover
Zustand: Good
Auflage: 2nd printing.
Beste Suchergebnisse bei AbeBooks
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. 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: 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
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 (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