Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Edición de la obra Computer Aided Verification
| Autor | Ahmed Bouajjani, Oded Maler |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642026584 |
| Número de Cutter | B752c |