Formal Techniques for Networked and Distributed Systems – FORTE 2008 electronic resource : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

Författare
Japan) (2008 FORTE 2008 Tokyo
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat