Industrial-strength formal methods in practice
de Michael G. Hinchey, J. P. Bowen
Materias
Ediciones (1)
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) (1999)
Springer · inglés · ISBN 9781852336400
