Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23,
Andrei Paskevich, Thomas Wies
51,10 €
Springer International Publishing AG
Sivumäärä: 211 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2017
Julkaisuvuosi: 2017, 15.12.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 10712
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The 12 full papers presented were carefully revised and selected from 20 submissions.

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.
Haluan myydä tämän tuotteen
Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23,Suurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783319723075
Asiasanat:
artificial intelligence computer software selection and evaluation formal logic graph theory model checking program compilers programming language semantics software engineering specifications static analysis theorem proving verification autom
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Software Development
Kansikuva tuotteelle