Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers (Paperback, 1st ed. 2020) Loot Price: R1,559

Discovery Miles 15 590

Repayment Terms: R146 pm x 12*

Add to cart

Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July...

Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers (Paperback, 1st ed. 2020)

Supratik Chakraborty, Jorge A. Navas

Series: Programming and Software Engineering, 12031

(sign in to rate)

Loot Price R1,559 Discovery Miles 15 590 | Repayment Terms: R146 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale 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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Programming and Software Engineering, 12031
Release date:	March 2020
First published:	2020
Editors:	Supratik Chakraborty • Jorge A. Navas
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	193
Edition:	1st ed. 2020
ISBN-13:	978-3-03-041599-0
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-03-041599-6
Barcode:	9783030415990