Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. Read More

The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. Read Less

• All from $25.50
• New Books from $79.84
• eBook from $25.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $25.50 (Expires Jul 17, 2025) 60 Day Rental: $34.00 (Expires Aug 16, 2025) 90 Day Rental: $42.50 (Expires Sep 15, 2025) 120 Day Rental: $51.00 (Expires Oct 15, 2025) 180 Day Rental: $55.25 (Expires Dec 14, 2025) Buy eBook Lifetime Access: $84.99 Title: Verification, Model Checking, and Abstract Interpretation Publisher: Springer Nature Print ISBN: 9783031249495, 3031249496 eText ISBN: 9783031249501 Edition: 2023 Format: EPUB eBook	$25.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ