FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Autor:
Jorge Cuellar, Tom Maibaum
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.95
zł
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F...
