Kjøp bok
Selg boken i stedet
Model Checking
- Av
- Helmut Veith (Technische Universitaet Darmstadt), Doron Peled (Bar Ilan University), Orna Grumberg (Technion), Daniel Kroening, Edmund M. Clarke Jr., Edmund M. Clarke Jr. (Carnegie Mellon University)
- Forlag
- MIT Press Ltd
- ISBN
- 9780262038836
- Utgitt
- 2018 (2. utgave), Innbundet
Ikke riktig utgave? Prøv å søke etter flere utgaver.
Kjøp ny
Kjøp brukt på iBok
Bokvarsling
Opprett bokvarslingDersom du trykker på 'Opprett bokvarsling' vil du automatisk bli varslet når noen legger ut denne boken for salg.