search for books and compare prices
Tom Maibaum has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
FM 2008, Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
cover image for 9783540682356
By Jorge Cuellar (editor), Tom Maibaum (editor) and Kaisa Sere (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540682356 | Springer-Verlag New York Inc, July 8, 2008, cover price $119.00

Formal Methods at the Crossroads: From Panacea to Foundational Support : 10th Anniversary Colloquium of Unu/Iist, the International Institute for Software Technology of the United
cover image for 9783540205272
Product Description: This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003...read more
By Bernhard K. Aichernig and Tom Maibaum (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540205272 | Revised edition (Springer-Verlag New York Inc, March 1, 2004), cover price $109.00 | About this edition: This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003.

displaying 1 to 2 | at end