KIRJAUDU
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 20
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 339 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2011, 04.01.2011 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 6286
Sivumäärä: 339 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2011, 04.01.2011 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 6286
The volume contains 17 revised contributions submitted after thesymposium by speakers from each of the following European IST projects: theIST-FP6 project BIONETS on biologically inspired services evolution for thepervasive age; and the IST-FP7 project QUASIMODO on quantitativesystem properties in model-driven-design of embedded systems.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 5-6 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 5-6 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783642170706
Aihealue: