Order Total (1 Item Items):
Shipping Destination:
Kroening Daniel (136 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (136)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (107)
- As New, Fine or Near Fine (23)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (64)
- Not Print on Demand (110)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Decision Procedures : An Algorithmic Point of View
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 27.12
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 27.12
Used offers from £ 30.26
Also find Softcover
-
Decision Procedures : An Algorithmic Point of View
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 38.33
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 38.33
Used offers from £ 46.90
Also find Hardcover
-
Validation of Evolving Software
Published by Springer International Publishing, 2015
ISBN 10: 3319106228 ISBN 13: 9783319106229
Language: English
£ 35.41
Convert currency£ 7.73 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 228 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 43.14
Also find Hardcover
-
Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 45.01
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 45.01
Used offers from £ 97.99
Also find Softcover
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9783540741046.
More buying choices from other sellers on AbeBooks
New offers from £ 61.21
Used offers from £ 47.87
Also find Hardcover
-
Validation of Evolving Software
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 55.70
Also find Softcover
-
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 138.68
Also find Softcover
-
Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 55.72
Also find Softcover
-
Model Checking, second edition (Cyber Physical Systems Series)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
£ 42.24
Convert currency£ 10.72 shipping from U.S.A. to United KingdomQuantity: 5 available
Add to baskethardcover. Condition: Fine.
-
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 55.96
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
More buying choices from other sellers on AbeBooks
New offers from £ 56.64
Used offers from £ 55.96
Also find Softcover
-
Paperback. Condition: Brand New. 236 pages. German language. 9.21x6.14x0.55 inches. In Stock.
