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

Name: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 24. sept. - . gada 2. okt.

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2016. gada 22. septembris
ISBN13	9783319465197
Izdevēji	Springer International Publishing AG
Lapas	530
Izmēri	155 × 235 × 28 mm · 8,13 kg
Valoda	Vācu
Redaktors	Artho, Cyrille
Redaktors	Legay, Axel
Redaktors	Peled, Doron