CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 9 of 9 Results
1.
The SPIN Model Checker: Primer and Reference Manual (paperback)
The SPIN Model Checker: Primer and Reference Manual (paperback) by Holzmann, Gerard ISBN: 9780321773715 List Price: $69.99

OUT OF STOCK

See Availability on Amazon
2.
Early History of Data Networks
Early History of Data Networks by Holzmann, Gerard, Pehrson, ... ISBN: 9780818667824 List Price: $58.95
$90.08
3.
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
$51.31 (Save 52%)
4.
Design and Validation of Computer Protocols
Design and Validation of Computer Protocols by Holzmann, Gerard J. ISBN: 9780135399255 List Price: $101.67
$78.14 (Save 23%)
5.
Spin Model Checker Primer and Reference Manual
Spin Model Checker Primer and Reference Manual by Holzmann, Gerard J. ISBN: 9780321228628 List Price: $73.99
$139.93
6.
Partial Order Methods in Verification Dimacs Workshop July 24-26, 1996
Partial Order Methods in Verification Dimacs Workshop July 24-26, 1996 by Artial Order Methods in Ver... ISBN: 9780821805794 List Price: $98.00

OUT OF STOCK

See Availability on Amazon
7.
Spin Verification System Dimacs Workshop, August 5, 1996
Spin Verification System Dimacs Workshop, August 5, 1996 by Egoire, Jean-Charles, Holzm... ISBN: 9780821806807 List Price: $57.00

OUT OF STOCK

See Availability on Amazon
8.
Safe at Home : Blankets to Celebrate Our Favorite Things
Safe at Home : Blankets to Celebrate Our Favorite Things by Holzmann, Gerard, Holzmann,... ISBN: 9798985561203 List Price: $22.95

OUT OF STOCK

See Availability on Amazon
9.
More Geometric Knit Blankets : 25 New and Bold Designs
More Geometric Knit Blankets : 25 New and Bold Designs by Holzmann, Margaret, Holzman... ISBN: 9798985561227 List Price: $27.95

OUT OF STOCK

See Availability on Amazon