KIRJAUDU
Formal Methods: Foundations and Applications - 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 351 sivua
Asu: Pehmeäkantinen kirja
Painos: 2009 ed.
Julkaisuvuosi: 2009, 09.11.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 5902
Sivumäärä: 351 sivua
Asu: Pehmeäkantinen kirja
Painos: 2009 ed.
Julkaisuvuosi: 2009, 09.11.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 5902
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
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:
9783642104510
Aihealue: