9783642217678, titled "Tests and Proofs: 5th International Conference, TAP 2011 Zurich, Switzerland, June 30 - July 1, 2011 Proceedings" | Springer-Verlag New York Inc, August 30, 2011, cover price $89.99

9783642029486 | Springer-Verlag New York Inc, July 31, 2009, cover price $99.00

9783540685142 | Springer-Verlag New York Inc, August 3, 2008, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.

9783540730651 | Springer-Verlag New York Inc, September 3, 2007, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.

9780769526720 | IEEE, April 25, 2007, cover price $172.00

9783540251095 | Revised edition (Springer Verlag, March 7, 2005), cover price $99.00

9783540208945 | Springer-Verlag New York Inc, March 19, 2004, cover price $99.00 | About this edition: Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor.

9780780326088 | IEEE, November 1, 1995, cover price $92.00

9780387196350 | Springer Verlag, March 1, 1991, cover price $49.00 | About this edition: The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States.

9780818608681 | IEEE Computer Society, July 1, 1988, cover price $50.00

9780818607233 | IEEE Computer Society, July 1, 1986, cover price $44.00