Formal Methods and Software Engineering
de Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Materias
Ediciones (2)
- Formal Methods and Software Engineering (2016)
Springer · ISBN 9783319478456
- Formal Methods and Software Engineering (2008)
Springer London, Limited · inglés · ISBN 9783540881940
