FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Autor:
Jorge Cuellar, Tom Maibaum
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F...
