Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
de Marco Bernardo, Paola Inverardi
Ediciones (1)
- Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems (2003)
Springer London, Limited · inglés · ISBN 9783540398004




