Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Systems and Software Verification

190,00 €

Model-Checking Techniques and Tools

Alaotsikko
Model-Checking Techniques and Tools
Kääntäjä
McKenzie P.
ISBN
9783540415237
Kieli
englanti
Paino
518 grammaa
Julkaisupäivä
20.6.2001
Sivumäärä
190