Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319465197 - September 22, 2016
In case cover and title do not match, the title is correct

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;

541 pages, 102 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 22, 2016
ISBN13 9783319465197
Publishers Springer International Publishing AG
Pages 530
Dimensions 155 × 235 × 28 mm   ·   8.13 kg
Language German  
Editor Artho, Cyrille
Editor Legay, Axel
Editor Peled, Doron

Mere med samme udgiver