Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

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 II

Language EnglishEnglish
Book Paperback
Book Tools and Algorithms for the Construction and Analysis of Systems Arie Gurfinkel
Libristo code: 48234028
Publishers Springer, Berlin, November 2024
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st Interna... Full description
? points 105 b
43.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Affordable
Tor kulkowy Skyrail Ottovolante Elev 12M 360 elementów / Game/Toy Toy
common.buy 38.89 €
Kolozsva R to Rte Nete Okleve Lta Rral. Kolozsva R to Rte Nete Vila Gosito Rajzai Ko Re Metszette Haske F. Ferencz Haske / Book Paperback
common.buy 32.79 €
Cruces en el Camino = Roadside Crosses Jeffery Deaver / Book Paperback
common.buy 8.29 €
maison de verre d'Amiens Bernard Bougeault / Book Paperback
common.buy 5.89 €
Biblia numéro 80 Pauvre comme Job Collectif Biblia / Game/Toy Toy
common.buy 10.79 €
Itseluottamus ja masennus. Daavid ja Saul Friedrich Weinreb / Book Paperback
common.buy 29.99 €
Gioca a nascondino con gli animali del mare. Dietro ai buchi Marcella Grassi / Book Board book
common.buy 11.19 €
vita scrive a matita Christian Bobin / Book Book
common.buy 25.29 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Tools and Algorithms for the Construction and Analysis of Systems
Author Arie Gurfinkel, Marjin Heule
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 500
EAN 9783031906527
Libristo code 48234028
Publishers Springer, Berlin
Weight 616
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Hump The C*nt: Extreme Horror, Gore and Sex Matt Shaw / Book Paperback
common.buy 6.99 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account