De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes

af Colin Stirling

indgår i Texts in Computer Science serien

Modal and Temporal Properties of Processes af Colin Stirling
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.
  • 2-3 uger.
  • 14. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Colin Stirling

Vis alle bøger af Colin Stirling

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



Andre købte også..
Find lignende bøger
Bogen Modal and Temporal Properties of Processes findes i følgende kategorier: