Formal Methods and Software Engineering
de Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Materias
Ediciones (3)
- Formal Methods and Software Engineering (2015)
Springer · ISBN 9783319254227
- Formal Methods and Software Engineering (2015)
Springer London, Limited · inglés · ISBN 9783319254234
- Formal Methods and Software Engineering (2007)
Springer London, Limited · inglés · ISBN 9783540766506
