0
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,521
Discovery Miles 15 210
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,521 Discovery Miles 15 210 | Repayment Terms: R143 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners