ISBN 10: 354068977X / ISBN 13: 9783540689775
Gebraucht / Anzahl: 0
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Exemplar nicht mehr verfügbar. Wir haben Ihnen weitere Exemplare dieses Titels unten aufgelistet.

Beschreibung:

Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: From the reviews:"This book is a collection of work by different authors on software verification. The context of the book is the key project, which aims to build a verification of the systems based on model checking. The book features the widely used specification languages: object constraint language (OCL) and Java modeling language (JML). this book is a good resource for graduate students and researchers ." (S. Balaraman, Computing Reviews, December, 2007). Buchnummer des Verkäufers

Über diesen Titel:

Bewertung (bereitgestellt von Goodreads):
0 durchschnittlich
(0 Bewertungen)

Inhaltsangabe:

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Zustand: New

Beste Suchergebnisse bei AbeBooks

1.

Verlag: Springer (2008)
ISBN 10: 354068977X ISBN 13: 9783540689775
Gebraucht Paperback Anzahl: 1
Anbieter
Solr Books
(Skokie, IL, USA)
Bewertung
[?]

Buchbeschreibung Springer, 2008. Paperback. Buchzustand: Good. Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!. Buchnummer des Verkäufers mon0000548744

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 62,19
Währung umrechnen

In den Warenkorb

Versand: EUR 3,57
Innerhalb USA
Versandziele, Kosten & Dauer

2.

Beckert, Bernhard
Verlag: Springer
ISBN 10: 354068977X ISBN 13: 9783540689775
Gebraucht Paperback Anzahl: 1
Anbieter
Free Shipping Books
(Toledo, OH, USA)
Bewertung
[?]

Buchbeschreibung Springer. Paperback. Buchzustand: GOOD. book was well loved but cared for. Possible ex-library copy with all the usual markings and stickers. Some light textual notes, highlighting and underling. Buchnummer des Verkäufers 2758668057

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 65,88
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer

3.

Bernhard Beckert
Verlag: Springer Berlin Heidelberg 2007-01-03, Berlin |[London] (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu paperback Anzahl: > 20
Anbieter
Blackwell's
(Oxford, OX, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer Berlin Heidelberg 2007-01-03, Berlin |[London], 2007. paperback. Buchzustand: New. Buchnummer des Verkäufers 9783540689775

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 116,32
Währung umrechnen

In den Warenkorb

Versand: EUR 5,15
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

4.

Bernhard Beckert
Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Books2Anywhere
(Fairford, GLOS, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2007. PAP. Buchzustand: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Buchnummer des Verkäufers LQ-9783540689775

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 117,94
Währung umrechnen

In den Warenkorb

Versand: EUR 10,31
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

5.

Bernhard Beckert
Verlag: Springer-Verlag Gmbh Jan 2007 (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Hardcover Anzahl: 1
Anbieter
Bewertung
[?]

Buchbeschreibung Springer-Verlag Gmbh Jan 2007, 2007. Taschenbuch. Buchzustand: Neu. 239x157x29 mm. - The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. 658 pp. Englisch. Buchnummer des Verkäufers 9783540689775

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 123,04
Währung umrechnen

In den Warenkorb

Versand: EUR 12,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

6.

Bernhard Beckert
Verlag: Springer-Verlag Gmbh Jan 2007 (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Hardcover Anzahl: 1
Anbieter
Agrios-Buch
(Bergisch Gladbach, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer-Verlag Gmbh Jan 2007, 2007. Taschenbuch. Buchzustand: Neu. 239x157x29 mm. Neuware - The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. 658 pp. Englisch. Buchnummer des Verkäufers 9783540689775

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 123,04
Währung umrechnen

In den Warenkorb

Versand: EUR 17,13
Von Deutschland nach USA
Versandziele, Kosten & Dauer

7.

Bernhard Beckert
Verlag: Springer-Verlag Gmbh Jan 2007 (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Taschenbuch Anzahl: 1
Anbieter
Rheinberg-Buch
(Bergisch Gladbach, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer-Verlag Gmbh Jan 2007, 2007. Taschenbuch. Buchzustand: Neu. 239x157x29 mm. Neuware - The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. 658 pp. Englisch. Buchnummer des Verkäufers 9783540689775

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 123,04
Währung umrechnen

In den Warenkorb

Versand: EUR 17,13
Von Deutschland nach USA
Versandziele, Kosten & Dauer

8.

Bernhard Beckert
Verlag: Springer-Verlag Gmbh Jan 2007 (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Taschenbuch Anzahl: 1
Anbieter
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer-Verlag Gmbh Jan 2007, 2007. Taschenbuch. Buchzustand: Neu. 239x157x29 mm. Neuware - The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. 658 pp. Englisch. Buchnummer des Verkäufers 9783540689775

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 123,04
Währung umrechnen

In den Warenkorb

Versand: EUR 29,50
Von Deutschland nach USA
Versandziele, Kosten & Dauer

9.

Bernhard Beckert
Verlag: Springer-Verlag Gmbh Jan 2007 (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Hardcover Anzahl: 1
Anbieter
buchversandmimpf2000
(Emtmannsberg, BAYE, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer-Verlag Gmbh Jan 2007, 2007. Taschenbuch. Buchzustand: Neu. 239x157x29 mm. Neuware - The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. 658 pp. Englisch. Buchnummer des Verkäufers 9783540689775

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 123,04
Währung umrechnen

In den Warenkorb

Versand: EUR 35,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

10.

Bernhard Beckert
Verlag: Springer (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Softcover Anzahl: 1
Anbieter
European-Media-Service Mannheim
(Mannheim, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer, 2007. Buchzustand: New. Buchnummer des Verkäufers L9783540689775

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 126,32
Währung umrechnen

In den Warenkorb

Versand: EUR 4,49
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Es gibt 12 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen