131,95 €
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
This book provides a basic introduction to this 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.
This book provides a basic introduction to this 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.
| Erscheinungsjahr: | 2010 |
|---|---|
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xii
190 S. |
| ISBN-13: | 9783642074783 |
| ISBN-10: | 3642074782 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Berard, B.
Bidoit, M. Finkel, A. Laroussinie, F. Petit, A. Petrucci, L. Schnoebelen, P. |
| Übersetzung: | McKenzie, P. |
| Hersteller: |
Springer
Springer-Verlag GmbH |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 235 x 155 x 12 mm |
| Von/Mit: | B. Berard (u. a.) |
| Erscheinungsdatum: | 15.12.2010 |
| Gewicht: | 0,324 kg |
Ähnliche Produkte
Lieferzeit 4-7 Werktage
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Werktage