Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Edición de la obra Formal Methods: Foundations and Applications
| Autor | Jim Davies |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642198281, 9783642198298 |
| Serie | Lecture Notes in Computer Science -- 6527 |
| Número de Cutter | D256f |