KIRJAUDU
Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 562 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007 ed.
Julkaisuvuosi: 2007, 02.07.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 4590
Sivumäärä: 562 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007 ed.
Julkaisuvuosi: 2007, 02.07.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 4590
The reviewing process included a PC review meeting, and – for the ?rst time in the history of CAV – an author feedback period. The CAV 2007 program included three invited talks from industry: – Byron Cook (Microsoft Research) on Automatically Proving Program T- mination, – David Russino?
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
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540733676
Aihealue: