Specification case studies in RAISE
de Chris George, Tomasz Janowski, Richard Moore
Materias
Ediciones (2)
- Specification case studies in RAISE (2002)
Springer · inglés
- Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT)) (2002)
Springer · inglés · ISBN 9781852333591
