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
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 22 - 30

Our customers say:

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

Not rated yet

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

More from the same publisher