FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Autor:
Jorge Cuellar, Tom Maibaum
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
€
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F...
