Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes

von Colin Stirling

enthalten in Texts in Computer Science-Reihe

Modal and Temporal Properties of Processes von Colin Stirling
Über Modal and Temporal Properties of Processes

In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780387987170
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 191
  • Veröffentlicht:
  • 1. Juli 2001
  • Ausgabe:
  • 2001
  • Abmessungen:
  • 235x178x13 mm.
  • Gewicht:
  • 560 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Colin Stirling

Alle Bücher von Colin Stirling anzeigen

Beschreibung von Modal and Temporal Properties of Processes

In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Kund*innenbewertungen von Modal and Temporal Properties of Processes



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Modal and Temporal Properties of Processes ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.