Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Autor:
John Derrick, Jüri Vain
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on F...
