CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 10 of 10 Results
1.
NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-2...
NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-2... by Bobaru, Mihaela, Havelund, ... ISBN: 9783642203978 List Price: $107.00
$7.42 (Save 93%)
2.
Formal Approaches to Software Testing and Runtime Verification First Combined International ...
Formal Approaches to Software Testing and Runtime Verification First Combined International ... by Havelund, Klaus, Wolff, Bur... ISBN: 9783540496991 List Price: $63.00
$45.98 (Save 27%)
3.
Spin Model Checking and Software Verification 7th International Spin Workshop Stanford, Ca, ...
Spin Model Checking and Software Verification 7th International Spin Workshop Stanford, Ca, ... by SPIN 2000 Staff, Havelund, ... ISBN: 9783540410300 List Price: $84.95
$52.33 (Save 38%)
4.
Formal Methods : 22nd International Symposium, FM 2018, Oxford, UK, July 15-17 2018
Formal Methods : 22nd International Symposium, FM 2018, Oxford, UK, July 15-17 2018 by Havelund, Klaus, Peleska, J... ISBN: 9783319955810 List Price: $109.99
$92.08 (Save 16%)
5.
Spin Model Checking and Software Verification
Spin Model Checking and Software Verification by Havelund, Klaus, Penix, Joh... ISBN: 9783662190258 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Tools and Algorithms for the Construction and Analysis of Systems : 20th International Confe...
Tools and Algorithms for the Construction and Analysis of Systems : 20th International Confe... by Abraham, Erika, Havelund, K... ISBN: 9783642548635 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Java Pathfinder User Guide
Java Pathfinder User Guide by Havelund, Klaus, Nasa Techn... ISBN: 9781289290542 List Price: $15.75

OUT OF STOCK

See Availability on Amazon
8.
Using Runtime Analysis to Guide Model Checking of Java Programs
Using Runtime Analysis to Guide Model Checking of Java Programs by Havelund, Klaus, Nasa Techn... ISBN: 9781289277123 List Price: $14.75

OUT OF STOCK

See Availability on Amazon
9.
REAL-TIME SYSTEMS: Proceedings of 18th IEEE Symposium on, 2-5 December 1997, San Francisco, ...
REAL-TIME SYSTEMS: Proceedings of 18th IEEE Symposium on, 2-5 December 1997, San Francisco, ... by Klaus; Larsen, Kim G.; Boua... ISBN: 9780818682698

OUT OF STOCK

See Availability on Amazon
10.
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, ...
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, ... by Deshmukh, Jyotirmoy, Havelu... ISBN: 9783031067723
$130.90