Model Checking Software
de Dragan Bosnacki, Stefan Leue
Ediciones (2)
- Model Checking Software (2007)
Springer London, Limited · inglés · ISBN 9783540733706
- Model Checking Software (2003)
Springer London, Limited · inglés · ISBN 9783540460176
de Dragan Bosnacki, Stefan Leue
Springer London, Limited · inglés · ISBN 9783540733706
Springer London, Limited · inglés · ISBN 9783540460176