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 - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Paperback, 1st ed. 2018) Loot Price: R1,618
Discovery Miles 16 180
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018,...

Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Paperback, 1st ed. 2018)

Ruzica Piskac, Philipp Rummer

Series: Programming and Software Engineering, 11294

 (sign in to rate)
Loot Price R1,618 Discovery Miles 16 180 | Repayment Terms: R152 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 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 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, 11294
Release date: November 2018
First published: 2018
Editors: Ruzica Piskac • Philipp Rummer
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 345
Edition: 1st ed. 2018
ISBN-13: 978-3-03-003591-4
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
LSN: 3-03-003591-3
Barcode: 9783030035914

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!

You might also like..

Exploring Future Opportunities of…
Madhulika Bhatia, Tanupriya Choudhury, … Hardcover R7,626 Discovery Miles 76 260
Applied Affective Computing
Leimin Tian, Sharon Oviatt, … Hardcover R2,764 Discovery Miles 27 640
Probabilistic and Causal Inference - The…
Hector Geffner, Rina Dechter, … Hardcover R4,428 Discovery Miles 44 280
Pattern-Based Constraint Satisfaction…
Denis Berthier Hardcover R2,107 Discovery Miles 21 070
The Future You - How Artificial…
Harry Glorikian Hardcover R859 Discovery Miles 8 590
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,785 Discovery Miles 147 850
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,774 Discovery Miles 147 740
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,768 Discovery Miles 147 680
The Future of Technology in Education…
Harib Shaqsy Hardcover R953 R820 Discovery Miles 8 200
Foundation Models for Natural Language…
Gerhard Paaß, Sven Giesselbach Hardcover R1,427 R952 Discovery Miles 9 520
Deep Learning Applications for…
Monica R. Mundada, Seema S., … Hardcover R7,586 Discovery Miles 75 860
Socrates Digital (TM) for Learning and…
Mark Salisbury Hardcover R6,766 Discovery Miles 67 660

See more

Partners