Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. Read More

The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. Read Less

• All from $16.50
• New Books from $58.64
• Used Books from $88.67
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Jan 23, 2025) 60 Day Rental: $22.00 (Expires Feb 22, 2025) 90 Day Rental: $27.50 (Expires Mar 24, 2025) 120 Day Rental: $33.00 (Expires Apr 23, 2025) 180 Day Rental: $35.75 (Expires Jun 22, 2025) Buy eBook Lifetime Access: $54.99 Title: Verification, Model Checking, and Abstract Interpretation Publisher: Springer Nature Print ISBN: 9783642540127, 3642540120 eText ISBN: 9783642540134 Edition: 2014 2014 edition Format: PDF eBook	$16.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