KIRJAUDU
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December
51,10 €
Springer
Sivumäärä: 393 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012
Julkaisuvuosi: 2011, 12.12.2011 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 6957
Sivumäärä: 393 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012
Julkaisuvuosi: 2011, 12.12.2011 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 6957
The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures;
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.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783642252709
Aihealue: