ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Kaisa Sere has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
FM 2008, Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
cover image for 9783540682356
Product Description: This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions...read more
By Jorge Cuellar (editor), Tom Maibaum (editor) and Kaisa Sere (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540682356 | Springer-Verlag New York Inc, July 8, 2008, cover price $89.95 | About this edition: This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

displaying 1 to 1 | at end