FM 2006 : Formal Methods
de Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Materias
Ediciones (1)
- FM 2006 : Formal Methods (2006)
Springer London, Limited · inglés · ISBN 9783540372165
de Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Springer London, Limited · inglés · ISBN 9783540372165
