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.

Beckert, Bernhard (EDT)/ Hahnle, Reiner (EDT)/ Schmitt, Peter H. (EDT)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2007-01-03, Berlin (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu paperback Anzahl: > 20
Anbieter
Blackwell's
(Oxford, OX, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2007-01-03, Berlin, 2007. paperback. Buchzustand: New. Buchnummer des Verkäufers 9783540689775

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

Neu kaufen
EUR 119,11
Währung umrechnen

In den Warenkorb

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

2.

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 118,73
Währung umrechnen

In den Warenkorb

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

3.

Verlag: Springer (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Gebraucht Anzahl: 1
Anbieter
Nearfine Books
(Brooklyn, NY, USA)
Bewertung
[?]

Buchbeschreibung Springer, 2007. Buchzustand: very good. Gently used. Expect delivery in 2-3 weeks. Buchnummer des Verkäufers 9783540689775-3

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

Gebraucht kaufen
EUR 119,16
Währung umrechnen

In den Warenkorb

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

4.

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

5.

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

6.

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 11,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

7.

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,11
Von Deutschland nach USA
Versandziele, Kosten & Dauer

8.

Bernhard Beckert
Verlag: Springer (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Softcover Anzahl: 1
Anbieter
English-Book-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 133,43
Währung umrechnen

In den Warenkorb

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

9.

BERNHARD BECKERT
Verlag: Springer (2007)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Paperback Anzahl: 1
Anbieter
Herb Tandree Philosophy Books
(Stroud, GLOS, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer, 2007. Paperback. Buchzustand: NEW. 9783540689775 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Buchnummer des Verkäufers HTANDREE0342762

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

Neu kaufen
EUR 135,27
Währung umrechnen

In den Warenkorb

Versand: EUR 9,23
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

10.

Beckert, Bernhard
Verlag: Springer (2016)
ISBN 10: 354068977X ISBN 13: 9783540689775
Neu Paperback Anzahl: 1
Print-on-Demand
Anbieter
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer, 2016. Paperback. Buchzustand: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Buchnummer des Verkäufers ria9783540689775_lsuk

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

Neu kaufen
EUR 137,73
Währung umrechnen

In den Warenkorb

Versand: EUR 3,85
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Es gibt 8 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen