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 - 12th International Conference, TACAS 2006, Held as Part of t
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 512 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006 ed.
Julkaisuvuosi: 2006, 15.03.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 3920
Sivumäärä: 512 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006 ed.
Julkaisuvuosi: 2006, 15.03.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 3920
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events).
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 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 4-5 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783540330561
Aihealue: