The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New KlausHavelund Books

Results for KlausHavelund

Showing 1 to 3 of 3 results
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... / Programming and Software Engineering) Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... / Programming and Software Engineering) by

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... / Programming and Software Engineering)

by


ISBN 13: 9783540496991

Format: Paperback (263 pages)
Publisher: Springer
Published: 07 Dec 2006

Save for later

 
New : $73.76  
New : $73.76
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) by

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by


ISBN 13: 9783540851134

Format: Paperback (343 pages)
Publisher: Springer
Published: 25 Jul 2008

Save for later

 
New : $79.42  
New : $79.42
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) by

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by


ISBN 13: 9783642203978

Format: Paperback (536 pages)
Publisher: Springer
Published: 06 Apr 2011

Save for later

 
New : $104.50  
New : $104.50