Vinkkaa tuotetta kavereillesi:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and 2014 edition
Tiziana Margaria
Hinta
€ 66,49
Tilattu etävarastosta
Arvioitu toimitus ti - pe 2. - 12. heinä
Lisää iMusic-toivelistallesi
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and 2014 edition
Tiziana Margaria
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
644 pages, 187 black & white illustrations, biography
Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | tiistai 7. lokakuuta 2014 |
ISBN13 | 9783662452301 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Genre | Aspects (Academic) > Science / Technology Aspects |
Sivujen määrä | 644 |
Mitta | 155 × 235 × 34 mm · 916 g |
Toimittaja | Margaria, Tiziana |
Toimittaja | Steffen, Bernhard |
Näytä kaikki
Lisää tuotteita Tiziana Margaria
Katso kaikki joka sisältää Tiziana Margaria ( Esim. Paperback Book )