Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Theoretical Computer Science and General Issues 1st ed. 2016 edition

Name: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Theoretical Computer Science and General Issues
Price: 53.99 EUR
Availability: OutOfStock

Cena

€ 53,99

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

Paredzamā piegāde . gada 27. okt. - . gada 4. nov.

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

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Theoretical Computer Science and General Issues

1st ed. 2016 edition

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.

558 pages, 123 colour illustrations, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2015. gada 26. decembris
ISBN13	9783662491218
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	558
Izmēri	155 × 235 × 29 mm · 793 g
Valoda	Vācu
Redaktors	Jobstmann, Barbara
Redaktors	Leino, K. Rustan M.