AddALL book price comparison

Home Book reviews Contact

☰

Klaus Havelund

1. Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Editor: Klaus Havelund - Editor: Rupak Majumdar - Editor: Jens Palsberg

ISBN: 3540851135
ISBN13: 9783540851134
Binding: Paperback
List Price: $74.95
Publisher: Springer-Verlag New York Inc
Published Date: 08/01/2008

2. Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and Rv 2006 Seattle, Wa, USA, August 15-16, 2006 Revised Selected Papers

Editor: Grigore Rosu - Editor: Burkhart Wolff - Editor: Klaus Havelund - Editor: Manuel N nez

ISBN: 3540496998
ISBN13: 9783540496991
Binding: Paperback
List Price: $63.0
Publisher: Springer-Verlag New York Inc
Published Date: 02/03/2007

3. Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30-September 1, 2000 Proceedings

Author: John Penix - Author: Klaus Havelund - Author: Calif.) International Spin Workshop 2000 Stanford - Author: Willem Visser - Editor: Willem Visser - Editor: John Penix

ISBN: 3540410309
ISBN13: 9783540410300
Binding: Paperback
List Price: $79.95
Publisher: Springer Verlag
Published Date: 10/01/2000