Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Model Checking

Model Checking - Jr., Edmund M. Clarke (carnegie Mellon University); Grumberg, Orna (technion); Kroening, Daniel (oxford University); Peled, Doron (bar Ilan University); Veith, Helmut (technische Universitaet Darmstadt) - ISBN: 9780262038836
Prijs: € 78,10
Levertijd: 3 tot 4 werkdagen
Bindwijze: Boek, Gebonden
Genre: Informatiekunde
Boekenliefde.nl:
Model Checking op boekenliefde.nl
Add to cart

Beschrijving

An Expanded And Updated Edition Of A Comprehensive Presentation Of The Theory And Practice Of Model Checking, A Technology That Automates The Analysis Of Complex Systems.

Details

Titel: Model Checking
auteur: Jr., Edmund M. Clarke (carnegie Mellon University); Grumberg, Orna (technion); Kroening, Daniel (oxford University); Peled, Doron (bar Ilan University); Veith, Helmut (technische Universitaet Darmstadt)
Mediatype: Boek
Bindwijze: Gebonden
Taal: Engels
Aantal pagina's: 424
Uitgever: Mit Press Ltd
Plaats van publicatie: 01
NUR: Informatiekunde
Afmetingen: 236 x 187 x 25
Gewicht: 820 gr
ISBN/ISBN13: 9780262038836
Intern nummer: 41888353

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.