Order Total (1 Item Items):
Shipping Destination:
Tools Algorithms Construction Analysis (650 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (650)
- 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 (574)
- As New, Fine or Near Fine (49)
- Very Good or Good (20)
- Fair or Poor (No further results match this refinement)
- As Described (7)
Collectible Attributes
- First Edition (10)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (229)
- Not Print on Demand (479)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9783540627906.
More buying choices from other sellers on AbeBooks
New offers from £ 49.12
Used offers from £ 8.92
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences . (Lecture Notes in Computer Science)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
£ 5.24
Convert currency£ 13.33 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Good. *Price HAS BEEN temporarily REDUCED by 10% until Monday, Sept. 8 (sale item)* 552 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
More buying choices from other sellers on AbeBooks
New offers from £ 97.62
Used offers from £ 18.57
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 19
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540610421 ISBN 13: 9783540610427
Language: English
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
More buying choices from other sellers on AbeBooks
New offers from £ 50.43
Used offers from £ 22.95
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint . Computer Science and General Issues)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
More buying choices from other sellers on AbeBooks
New offers from £ 49.12
Used offers from £ 24.25
Also find Softcover
-
£ 25.28
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
More buying choices from other sellers on AbeBooks
New offers from £ 25.28
Used offers from £ 54.66
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
£ 15
Convert currency£ 10.74 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketpaperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from £ 34.19
Used offers from £ 25.74
Also find Softcover First Edition
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
£ 15.06
Convert currency£ 10.74 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketpaperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from £ 40.42
Used offers from £ 25.80
Also find Softcover First Edition
-
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European . (Lecture Notes in Computer Science, 2619)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
£ 14.52
Convert currency£ 13.33 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. *Price HAS BEEN temporarily REDUCED by 10% until Monday, Sept. 8 (sale item)* 620 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
More buying choices from other sellers on AbeBooks
New offers from £ 27.85
Used offers from £ 70.72
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint . Computer Science and General Issues)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
More buying choices from other sellers on AbeBooks
New offers from £ 50.55
Used offers from £ 30.70
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 14570)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 35.87
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 £ 35.87
Also find Softcover First Edition
-
£ 38.28
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
More buying choices from other sellers on AbeBooks
New offers from £ 38.28
Used offers from £ 47.27
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 39.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
£ 41.11
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
More buying choices from other sellers on AbeBooks
New offers from £ 41.11
Used offers from £ 52.74
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27â"April 1, 2021, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 39.94
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 39.94
Used offers from £ 44.10
Also find Softcover
-
PF. Condition: New.
-
PF. Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conf
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 40.07
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 40.07
Used offers from £ 44.10
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... II (Lecture Notes in Computer Science, 14571)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 40.42
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 £ 40.42
Used offers from £ 45.86
Also find Softcover First Edition
-
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 14572)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 40.42
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 £ 40.42
Used offers from £ 45.86
Also find Softcover First Edition
-
Tools and Algorithms for the Construction and Analysis of Systems
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271203 ISBN 13: 9781013271205
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 43.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 43.62
Used offers from £ 46.94
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031906527 ISBN 13: 9783031906527
Language: English
Paperback. Condition: new. Paperback. The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 303190642X ISBN 13: 9783031906428
Language: English
Paperback. Condition: new. Paperback. The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint ... France, April 22-27, 2023, Proceedings, Pa
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint ... France, April 22-27, 2023, Proceedings, Pa
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271211 ISBN 13: 9781013271212
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 48.58
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Published by Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031906594 ISBN 13: 9783031906596
Language: English
£ 38.24
Convert currency£ 12.14 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
-
Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, Tacas'99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 49.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 £ 49.12
Used offers from £ 55.70
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 49.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 £ 49.12
Used offers from £ 55.70
Also find Softcover
