Buy Used and New Dennis Dams Books

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science)

by Mieke Massinek, Stefan Leue, Dennis Dams, Robert Gerth

ISBN 13: 9783540664994

Format: Paperback (290 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later