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

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, United Kingdom, January 15-16, 2024, Pro

by Rayna Dimitrova
Save 35% Save 35%
Current price ₹4,848.00
Original price ₹7,457.00
Original price ₹7,457.00
Original price ₹7,457.00
(-35%)
₹4,848.00
Current price ₹4,848.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: 9783031505232
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 352
  • Original Price: EUR 65.99
  • Language: English
  • Edition: 2024
  • Item Weight: 527 grams
  • BISAC Subject(s): Computer Science, Data Science / General, and Artificial Intelligence / Expert Systems

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.
The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.

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