shopping-bag-white-svg
keyboard-white-svg
image
Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch

Model-Based Testing of Reactive Systems

Advanced Lectures

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:
  • Compiler und Übersetzer
  • Software Engineering
  • Theoretische Informatik
Sprache:
  • Englisch
Publikation
Auflage:
  • 1
Erscheinungsdatum:
  • 27.06.2005
Erscheinungsland:
  • Deutschland
Produktform
Format:
  • Fachbuch
Seiten:
  • 664
Abmessung:
  • 23 cm (Höhe)
  • 15 cm (Breite)