CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 14 of 14 Results
1.
Model Checking
Model Checking by Edmund M. Clarke Jr., Orna ... ISBN: 9780262032704 List Price: $69.00
$4.43 (Save 93%)
2.
Software Reliability Methods
Software Reliability Methods by Peled, Doron, Clarke, E. M. ISBN: 9780387951065 List Price: $159.00
$44.47 (Save 72%)
3.
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 200...
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 200... by Bensalem, Saddek, Peled, Do... ISBN: 9783642046933 List Price: $72.00
$51.31 (Save 28%)
4.
Computer Aided Verification 16th International Conference, Cav 2004, Boston, Ma, Usa, July 1...
Computer Aided Verification 16th International Conference, Cav 2004, Boston, Ma, Usa, July 1... by Alur, Rajeev, Peled, Doron A. ISBN: 9783540223429 List Price: $99.95
$103.17
5.
Time for Verification : Essays in Memory of Amir Pnueli
Time for Verification : Essays in Memory of Amir Pnueli by Manna, Zohar, Peled, Doron A. ISBN: 9783642137532 List Price: $95.00

OUT OF STOCK

See Availability on Amazon
6.
Formal Techniques for Networked and Distributed Systems - Forte 2002 22nd Ifip Wg 6.1 Intern...
Formal Techniques for Networked and Distributed Systems - Forte 2002 22nd Ifip Wg 6.1 Intern... by Peled, Doron A., Vardi, Mos... ISBN: 9783540001416 List Price: $85.00
$52.33 (Save 38%)
7.
Computer Aided Verification
Computer Aided Verification by Halbwachs, Nicolas, Peled, ... ISBN: 9783540662020 List Price: $89.95
$51.31 (Save 42%)
8.
Model Checking and Artificial Intelligence: 5th International Workshop of ECAI 2008, Padras,...
Model Checking and Artificial Intelligence: 5th International Workshop of ECAI 2008, Padras,... by Peled, Doron A., Wooldridge... ISBN: 9783642004308 List Price: $64.95
$52.33 (Save 19%)
9.
Automated Technology for Verification And Analysis Third International Symposium, Atva 2005,...
Automated Technology for Verification And Analysis Third International Symposium, Atva 2005,... by Peled, Doron A., Tsay, Yih-... ISBN: 9783540292098 List Price: $89.00
$52.33 (Save 41%)
10.
Software Reliability Methods (Texts in Computer Science)
Software Reliability Methods (Texts in Computer Science) by Doron A. Peled ISBN: 9781441928764 List Price: $159.00
$51.31 (Save 67%)
11.
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
12.
Software Reliability Methods
Software Reliability Methods by Peled, Doron A. ISBN: 9781475735413 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Computer Aided Verification
Computer Aided Verification by Halbwachs, Nicolas, Peled, ... ISBN: 9783662192832 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Formal Techniques for Networked and Distributed Systems - Forte 2002
Formal Techniques for Networked and Distributed Systems - Forte 2002 by Peled, Doron A., Vardi, Mos... ISBN: 9783662201381 List Price: $24.99

OUT OF STOCK

See Availability on Amazon