Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. Read More

The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. Read Less

• All from £13.43
• New Books from £49.28
• eBook from £13.43

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: £13.43 (Expires Oct 31, 2025) 60 Day Rental: £17.90 (Expires Nov 30, 2025) 90 Day Rental: £22.38 (Expires Dec 30, 2025) 120 Day Rental: £26.85 (Expires Jan 29, 2026) 180 Day Rental: £29.09 (Expires Mar 30, 2026) Buy eBook Lifetime Access: £44.74 Title: Verified Software. Theories, Tools and Experiments Publisher: Springer Nature Print ISBN: 9783031258022, 3031258029 eText ISBN: 9783031258039 Edition: 2023 Format: EPUB eBook	£13.43 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