Model Checking

Model Checking EDMUND M., Jr. (Carnegie Mellon University) Clarke ; Orna (Technion) Grumberg ; Doron Peleg

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.
€73,99

Levertijd: 4 tot 10 werkdagen.

Specificaties

ISBN
9780262032704
Uitgever
MIT Press Ltd
Druk
1e
Verschenen
01-01-2000
Taal
Engels
Bladzijden
330 pp.
Bindwijze
Hardcover
Genre
Nederlandstalige literatuur

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.
MINDBOOKSATH : athenaeum