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. Model Checking

Model Checking

af Doron Peleg, Orna (Technion) Grumberg, Edmund M. Clarke (Carnegie Mellon University) Jr.

indgår i Cyber Physical Systems Series serien

Model Checking af Doron Peleg
Bag om Model Checking

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780262032704
  • Indbinding:
  • Hardback
  • Sideantal:
  • 330
  • Udgivet:
  • 20. december 1999
  • Størrelse:
  • 188x234x23 mm.
  • Vægt:
  • 690 g.
  • Ukendt - mangler pt..

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 Doron Peleg

Vis alle bøger af Doron Peleg

Beskrivelse af Model Checking

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.

Brugerbedømmelser af Model Checking



Andre købte også..
Find lignende bøger
Bogen Model Checking findes i følgende kategorier: