FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
Jayadev Misra, Tobias Nipkow, Emil Sekerinski, eds.
- xv, 620 páginas : ilustraciones
- Lecture notes in computer science ; 4085 .
- Lecture notes in computer science ; 4085 Lecture notes in computer science .
3540372156
Software para computadora--Desarrollo--Congresos
Métodos formales (Computación)--Congresos
Diseño de sistemas--Matemáticas--Congresos
QA76.76D47 / I577 2006
005.3