Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint

by Sebastian Junges , Guy Katz
Save 35% Save 35%
Current price ₹3,202.00
Original price ₹4,926.00
Original price ₹4,926.00
Original price ₹4,926.00
(-35%)
₹3,202.00
Current price ₹3,202.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783032227515
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 682
  • Original Price: EUR 43.59
  • Language: English
  • Edition: N/A
  • Item Weight: 976 grams
  • BISAC Subject(s): Computer Science

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.

The 52 full papers, 4 short papers and 16 SV-COMP papers included in the proceedings were carefully reviewed and selected from 177 submissions. They were organized in topical sections as follows:

Part I: SAT/SMT; Proofs and QUantified Elimination; Automata; Verification of Probabilistic Systems; Cyber-Physical Systems;

Part II: Software Verification; Program Verification; Java Analysis; Hardware Verification and Model Checking; Quantum; SV-COMP.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us