Formal Techniques for Networked and Distributed Systems - FORTE 2008
de Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
Ediciones (1)
- Formal Techniques for Networked and Distributed Systems - FORTE 2008 (2008)
Springer London, Limited · inglés · ISBN 9783540688556
