Formal Techniques for Networked and Distributed Systems – FORTE 2007 electronic resource - 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Författare
John. Derrick
(Edited by John Derrick, Jüri Vain.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer-Verlag Berlin Heidelberg 2007 Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg v.: digital 978-3-540-73196-2