Menge:

oder

Loggen Sie sich ein, um 1-Click® einzuschalten.

oder


	Mit kostenloser Probeteilnahme bei Amazon Prime. Melden Sie sich w�hrend des Bestellvorgangs an. Erfahren Sie mehr

Alle Angebote

M�chten Sie verkaufen? Hier verkaufen

F�r Kunden: Stellen Sie Ihre eigenen Bilder ein.

Hier reinlesen und suchen

Den Verlag informieren!
Ich m�chte dieses Buch auf dem Kindle lesen.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Systems and Software Verification: Model-Checking Techniques and Tools [Taschenbuch]

B. Berard (Autor), M. Bidoit (Autor), A. Finkel (Autor), F. Laroussinie (Autor), A. Petit (Autor), L. Petrucci (Autor), P. Schnoebelen (Autor), P. McKenzie (�bersetzer)

Preis:	EUR 60,94 kostenlose Lieferung. Siehe Details.
Angebotspreis:
	Alle Preisangaben inkl. MwSt.
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Auf Lager.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verf�gbar.

Lieferung bis Samstag, 25. Februar: W�hlen Sie an der Kasse Morning-Express. Siehe Details.

Produktinformation

Taschenbuch: 196 Seiten
Verlag: Springer Berlin Heidelberg; Auflage: Softcover reprint of hardcover 1st ed. 2001 (15. Dezember 2010)
Sprache: Englisch
ISBN-10: 3642074782
ISBN-13: 978-3642074783
Gr��e und/oder Gewicht: 15,6 x 23,4 x 1,1 cm

M�chten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

Ist der Verkauf dieses Produkts f�r Sie nicht akzeptabel?

Komplettes Inhaltsverzeichnis ansehen

Produktbeschreibungen

Kurzbeschreibung

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

In diesem Buch (Mehr dazu)

Eine digitale Version dieses Buchs im Kindle-Shop verkaufen

Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, k�nnen Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen. Weitere Informationen

Kundenrezensionen

Noch keine Kundenrezensionen vorhanden.

Eigene Rezension erstellen

Videorezensionen

Drehen Sie mit Ihrer Webcam Ihre eigene Video-Rezension zu diesem Artikel und laden Sie sie bei Amazon.de hoch.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Kunden diskutieren

Das Forum zu diesem Produkt

Diskussion	Antworten	J�ngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen

Neue Diskussion starten

Thema:

Erster Beitrag:

Bei neuen Eintr�gen E-Mail erhalten

Eingabe des Log-ins

Richtlinien

Aktive Diskussionen in �hnlichen Foren

Diskussion	Antworten	J�ngster Beitrag
Forum: englische b�cher Euer erstes englischsprachiges Buch?	261	Vor 56 Minuten
Forum: englische b�cher The Prophet (Khalil Gibran)	1	Vor 7 Stunden
Forum: englische b�cher Welches englische Buch lest Ihr zur Zeit?	97	Vor 8 Stunden
Forum: englische b�cher Meet Our Authors	23	Vor 15 Stunden
Forum: englische b�cher Schottland	9	Vor 23 Stunden
Forum: englische b�cher Dear writers, could you show some manners, please?	91	Gestern
Forum: englische b�cher Looking for really good books - very well written or exceptional plot or inspiring or all in one...	174	Vor 2 Tagen
Forum: englische b�cher American Based Thriller Writers Please Post	105	Vor 2 Tagen