Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Model-Based Testing of Reactive Systems
Advanced Lectures
Verlag:
Springer Verlag
Artikel-Nr.:
L6GR56
Erhältlich:
Nicht auf Lager
Zustellung: Mi, 22.05.2024
Versand: Kostenlos
-17.2 %
CHF 69.00
CHF 57.16
Beschreibung
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing me...
Spezifikationen
Inhalt |
Thema:
|
Sprache:
| |
---|---|---|---|
Publikation |
Auflage:
|
Erscheinungsdatum:
|
Erscheinungsland:
|
Produktform |
Format:
|
Seiten:
|
Abmessung:
|