De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Modal and Temporal Properties of Processes

Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780387987170
  • Indbinding:
  • Hardback
  • Sideantal:
  • 191
  • Udgivet:
  • 1. juli 2001
  • Udgave:
  • 2001
  • Størrelse:
  • 235x178x13 mm.
  • Vægt:
  • 560 g.
Leveringstid: 2-3 uger
Forventet levering: 20. november 2024

Beskrivelse af 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.

Brugerbedømmelser af Modal and Temporal Properties of Processes



Find lignende bøger
Bogen Modal and Temporal Properties of Processes findes i følgende kategorier: