Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Name: Verified Software. Theories, Tools, and Experiments
Brand: Springer International Publishing AG
SKU: 9783319723075
Price: 8100 KES
Availability: OutOfStock
ISBN: 9783319723075

1st ed. 2017

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3319723073

ISBN-13 9783319723075

Edition 1st ed. 2017

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date Dec 15th, 2017

Print length 211 Pages

Product Classification: Digital and Information technology: general topics Information technology: general issues Compilers Compilers and interpreters Software Engineering Mathematical theory of computation Computer modelling & simulation Computer modelling and simulation Artificial intelligence Artificial intelligence (AI)

KSh 8,100.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.

The 12 full papers presented were carefully revised and selected from 20 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.

Get Verified Software. Theories, Tools, and Experiments by Andrei Paskevich at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 211 pages.