Formal Techniques for Computer Systems and Business Processes
de Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
Materias
Ediciones (1)
- Formal Techniques for Computer Systems and Business Processes (2005)
Springer London, Limited · inglés · ISBN 9783540319030
