from Springer-Verlag New York Inc (July 8, 2008)
9783540682356 |
details & prices | 436 pages | 6.00 × 9.25 × 1.00 in. | 1.50 lbs | List price $89.95
About: This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.