Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of t
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 725 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015 ed.
Julkaisuvuosi: 2015, 08.04.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 9035
Sivumäärä: 725 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015 ed.
Julkaisuvuosi: 2015, 08.04.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 9035
The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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.
Näytä kaikki tuotetiedot
ISBN:
9783662466803
Aihealue: