Order Total (1 Item Items):
Shipping Destination:
Tools Algorithms Construction Analysis (582 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (582)
- 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 (511)
- As New, Fine or Near Fine (44)
- Very Good or Good (20)
- Fair or Poor (No further results match this refinement)
- As Described (7)
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (226)
- Not Print on Demand (411)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
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
paperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from US$ 61.93
Used offers from US$ 8.99
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
paperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from US$ 61.93
Used offers from US$ 8.99
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
Condition: Good. 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 US$ 121.66
Used offers from US$ 12.12
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
US$ 10.10
Convert currencyUS$ 9.93 shipping from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. 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 US$ 63.99
Used offers from US$ 20.03
Also find Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540627901 ISBN 13: 9783540627906
Language: English
US$ 10.09
Convert currencyUS$ 9.93 shipping from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. 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 US$ 63.98
Used offers from US$ 20.02
Also find Softcover
-
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
Condition: New. 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 US$ 25.63
Used offers from US$ 26.89
Also find Softcover
-
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 27.23
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, text block clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from US$ 121.66
Used offers from US$ 30.10
Also find Softcover
-
Condition: 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 US$ 33.28
Used offers from US$ 103.29
Also find Softcover
-
Tools & Algorithms for the Construction & Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 1995, Selected Papers
Published by Springer, c.1995, 1995
paperback, Condition: Very Good, (Lecture Notes in Computer Science 1019) Springer, Berlin c.1995, 8vo. paperbk. 289pp. F $.
-
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
US$ 29.82
Convert currencyUS$ 14.31 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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 US$ 64.27
Used offers from US$ 44.13
Also find Softcover
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
More buying choices from other sellers on AbeBooks
New offers from US$ 50.34
Used offers from US$ 43.61
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 46.74
Also find Softcover
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
More buying choices from other sellers on AbeBooks
New offers from US$ 69.16
Used offers from US$ 46.78
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
US$ 34.78
Convert currencyUS$ 14.31 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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 US$ 64.27
Used offers from US$ 49.09
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 51.98
Also find Softcover
-
US$ 49.65
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 49.65
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: 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 US$ 54.04
Used offers from US$ 100.40
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from US$ 121.17
Used offers from US$ 56.09
Also find Softcover
-
US$ 56.17
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 58.81
Used offers from US$ 60.24
Also find Softcover
-
US$ 54.83
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 54.83
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 56.45
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 59.09
Used offers from US$ 60.60
Also find Softcover
-
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
US$ 57.61
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
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 multiple locations in the US or from the UK, 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: 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 multiple locations in the US or from the UK, depending on stock availability.
-
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
US$ 49.70
Convert currencyUS$ 16.11 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from US$ 65.81
Also find Softcover First Edition
-
US$ 61.34
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 72.41
Also find Softcover
-
US$ 61.34
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 72.41
Also find Softcover
