Fortæl dine venner om denne vare:
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition
Bernd Fischer
Pris
DKK 448
Bestilles fra fjernlager
Forventes klar til forsendelse 17. - 23. okt.
Tilføj til din iMusic ønskeseddel
eller
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition
Bernd Fischer
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions.
319 pages, 66 black & white illustrations, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 3. september 2015 |
| ISBN13 | 9783319234038 |
| Forlag | Springer International Publishing AG |
| Antal sider | 319 |
| Mål | 155 × 235 × 18 mm · 5,15 kg |
| Sprog | Fransk |
| Klipper/redaktør | Fischer, Bernd |
| Klipper/redaktør | Geldenhuys, Jaco |
![Cover for Bernd Fischer · Polynomial Based Iteration Methods for Symmetric Linear Systems (Paperback Bog) [Softcover Reprint of the Original 1st 1996 edition] (2013)](https://imusic.b-cdn.net/images/item/original/092/9783663111092.jpg?bernd-fischer-2013-polynomial-based-iteration-methods-for-symmetric-linear-systems-paperback-bog&class=scaled&v=1540555255)
![Cover for Bernd Fischer · Handbook of Hyperbaric Oxygen Therapy (Paperback Bog) [1988 edition] (1988)](https://imusic.b-cdn.net/images/item/original/440/9783540183440.jpg?bernd-fischer-1988-handbook-of-hyperbaric-oxygen-therapy-paperback-bog&class=scaled&v=1540563143)