|
|

avaa valikko

Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,
Barbara Jobstmann, K. Rustan M. Leino
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 558 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2015, 26.12.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 9583
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.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, Suurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783662491218
Asiasanat:
cloud computing complexity distributed systems logic model checking timed automata concurrency constraint-based reasoning formal verification hybrid systems massive parallelism parallelism reactive synthesis robustness SAT-solvers simulations
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Quality Assurance & Testing
Kansikuva tuotteelle