Vol. 4171 Verified Software: Theories, Tools, Experiments : First IFIP TC2/WG 2.3 Conference, VSTTE 2005 Zurich, Switzerland, October 10-13, 2005 Revised Selected Papers and Discussions
Na minha lista:
| Outros Autores: | , |
|---|---|
| Formato: | Livro |
| Idioma: | inglês |
| Publicado em: |
Springer Berlin Heidelberg,
2008
|
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|