Formal Methods of Program Verification and Specification (Prentice-Hall Software Series) - Hardcover

Franta

9780133288070: Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Hardcover

ISBN 10: 0133288072 ISBN 13: 9780133288070

Verlag: Longman Higher Education, 1982

Alle Exemplare dieser ISBN-Ausgabe

11 Gebraucht

Von EUR 9,66

0 Neu

Details zur Ausgabe

Verlag: Longman Higher Education
Erscheinungsdatum: 1982
Sprache: Englisch
ISBN 10: 0133288072
ISBN 13: 9780133288070
Einband: Gebundene Ausgabe
Anzahl der Seiten: 207
Herausgeber: Berg H. K.
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Deutschland

Suchergebnisse f�r Formal Methods of Program Verification and Specification...

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification

Berg, H. K. & Boebert, W. E. & Franta, W. R. & Moher, T. G.

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

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 9,66

EUR 4,69 shipping
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta

Verlag: Prentice Hall, 1982

ISBN 10: 0133288072 ISBN 13: 9780133288070

Gebraucht Hardcover

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_416689049

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 14,00

EUR 3,20 shipping
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta

Verlag: Prentice Hall, 1982

ISBN 10: 0133288072 ISBN 13: 9780133288070

Gebraucht Hardcover

Anbieter: ThriftBooks-Dallas, Dallas, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Bestandsnummer des Verk�ufers G0133288072I3N00

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 17,50

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta

Verlag: Prentice Hall, 1982

ISBN 10: 0133288072 ISBN 13: 9780133288070

Gebraucht Hardcover

Anbieter: ThriftBooks-Dallas, Dallas, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Bestandsnummer des Verk�ufers G0133288072I4N00

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 17,50

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta

Verlag: Prentice Hall, 1982

ISBN 10: 0133288072 ISBN 13: 9780133288070

Gebraucht Hardcover

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verk�uferbewertung 5 von 5 Sternen

Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Bestandsnummer des Verk�ufers G0133288072I3N10

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 17,50

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta

Verlag: Prentice Hall, 1982

ISBN 10: 0133288072 ISBN 13: 9780133288070

Gebraucht Hardcover

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verk�uferbewertung 5 von 5 Sternen

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Bestandsnummer des Verk�ufers G0133288072I3N00

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 17,50

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta

Verlag: Prentice Hall, 1982

ISBN 10: 0133288072 ISBN 13: 9780133288070

Gebraucht Hardcover

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verk�uferbewertung 5 von 5 Sternen

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Bestandsnummer des Verk�ufers G0133288072I4N00

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 17,50

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification

Helmut K. Berg et etc.

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

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 6,99

EUR 20,50 shipping
Versand von Frankreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification

Helmut K. Berg et etc.

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

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 6,99

EUR 20,50 shipping
Versand von Frankreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods of Program Verification and Specification

Helmut K. Berg et etc.

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

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 6,99

EUR 20,50 shipping
Versand von Frankreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Es gibt 1 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen