Black Week: Spar op til 85% Spar op til 85% 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. Model Checking

Model Checking - Doron Peleg - Bog

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

  • BLACK WEEK

Medlemspris

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

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:

Gør som tusindvis af andre bogelskere

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