Fortæl dine venner om denne vare:
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Programming and Software Engineering Nikolaj Bjorner 2015 edition
Pris
A$ 106,86
Bestilles fra fjernlager
Forventes klar til forsendelse 5. - 11. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Programming and Software Engineering
Nikolaj Bjorner
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.
610 pages, 156 black & white illustrations, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 2. juni 2015 |
| ISBN13 | 9783319192482 |
| Forlag | Springer International Publishing AG |
| Antal sider | 610 |
| Mål | 155 × 235 × 32 mm · 9,36 kg |
| Sprog | Fransk |
| Klipper/redaktør | Bjørner, Nikolaj |
| Klipper/redaktør | De Boer, Frank |