Black Week: Spar op til 90% Spar op til 90% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
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 - Colin Stirling - Bog

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.
  • 17. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.