Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Model Checking

Model Checking

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

del av Cyber Physical Systems Series-serien

Model Checking av Doron Peleg Du sparar 13% jf.m. förlagspris Spara 13%
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780262032704
  • Format:
  • Inbunden
  • Sidor:
  • 330
  • Utgiven:
  • 20. december 1999
  • Mått:
  • 188x234x23 mm.
  • Vikt:
  • 690 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Om Doron Peleg

Se alla böcker av Doron Peleg

Beskrivning av 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.

Användarnas betyg av Model Checking



Andra köpte även...
Hitta liknande böcker
Boken Model Checking finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.