Fortell venner om denne varen:
Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science 2004 edition
Christel Baier
Pris
R 994
Bestillingsvarer
Forventes levert 7. - 15. jul
Legg til iMusic ønskeliste
Eller
Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science 2004 edition
Christel Baier
480 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 11. august 2004 |
| ISBN13 | 9783540222651 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 472 |
| Mål | 155 × 235 × 24 mm · 666 g |
| Språk | Tysk |
| Redaktør | Baier, Christel |
| Redaktør | Haverkort, Boudewijn R. |
| Redaktør | Hermanns, Holger |
| Redaktør | Katoen, Joost-Pieter |
| Redaktør | Siegle, Markus |
![Cover for Christel Baier · 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 (Pocketbok) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/803/9783662466803.jpg?christel-baier-2015-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-proceedin&class=scaled&v=1450314149)
![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)