
Vinkkaa tuotetta kavereillesi:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues 1st ed. 2016 edition
Hinta
zł 431,90
Tilattu etävarastosta
Arvioitu toimitus ke 29. loka - to 6. marras
Lisää iMusic-toivelistallesi
tai
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues 1st ed. 2016 edition
974 pages, 256 black & white illustrations, biography
Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | torstai 6. lokakuuta 2016 |
ISBN13 | 9783319471655 |
Tuottaja | Springer International Publishing AG |
Sivujen määrä | 974 |
Mitta | 155 × 235 × 50 mm · 1,37 kg |
Kieli | German |
Toimittaja | Margaria, Tiziana |
Toimittaja | Steffen, Bernhard |