Fortell venner om denne varen:
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu Christel Baier 2015 edition
Pris
NOK 569
Bestillingsvarer
Forventes levert 30. des - 7. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu
Christel Baier
The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.
725 pages, 210 black & white illustrations, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 8. april 2015 |
| ISBN13 | 9783662466803 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 725 |
| Mål | 155 × 235 × 38 mm · 1,03 kg |
| Språk | Fransk |
| Redaktør | Baier, Christel |
| Redaktør | Tinelli, Cesare |
![Cover for Christel Baier · CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 - Theoretical Computer Science and General Issues (Pocketbok) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/766/9783540373766.jpg?christel-baier-2006-concur-2006-concurrency-theory-17th-international-conference-concur-2006-bonn-germany-august-27-30-2006-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1450314149)
![Cover for Christel Baier · Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science (Pocketbok) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/651/9783540222651.jpg?christel-baier-2004-validation-of-stochastic-systems-a-guide-to-current-research-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1450314149)