Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Doron Peled'

Refine Your Results

subjects

Computing & I.T.

5

Mathematics

1

Science

1

lists

All Books

5

availability

All Books

5

price

$50 - $100

2

Over $100

3

formats

Paperbacks

3

Hardcovers

2

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Rajeev Alur

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Rajeev Alur and Doron A. Peled

Paperback

$169.00

Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers - Saddek Bensalem

Runtime Verification

9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Saddek Bensalem and Doron A. Peled

Paperback

$84.99

Software Reliability Methods : Texts in Computer Science

Software Reliability Methods

Texts in Computer Science

Hardcover

$84.99

Software Reliability Methods : Texts in Computer Science

Software Reliability Methods

Texts in Computer Science

Paperback

RRP $174.90

$157.75

10%
OFF

Model Checking, second edition : Cyber Physical Systems Series - Edmund M. Clarke, Jr.

Model Checking, second edition

Cyber Physical Systems Series

Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening and Doron Peled

Hardcover

$225.75

5 Results