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. Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

- Safety

af Zohar Manna, Amir Pnueli
Temporal Verification of Reactive Systems af Zohar Manna
Bag om Temporal Verification of Reactive Systems

The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781461287018
  • Indbinding:
  • Paperback
  • Sideantal:
  • 512
  • Udgivet:
  • 22. august 2012
  • Størrelse:
  • 235x155x27 mm.
  • Vægt:
  • 813 g.
  • 8-11 hverdage.
  • 7. december 2024

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 Zohar Manna

Vis alle bøger af Zohar Manna

Beskrivelse af Temporal Verification of Reactive Systems

The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.

Brugerbedømmelser af Temporal Verification of Reactive Systems



Andre købte også..
Find lignende bøger
Bogen Temporal Verification of Reactive Systems findes i følgende kategorier: