Vertel uw vrienden over dit artikel:
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
Prijs
€ 50,99
Besteld in een afgelegen magazijn
Verwachte levering 25 dec. - 2 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 8 april 2015 |
| ISBN13 | 9783662466803 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 725 |
| Afmetingen | 155 × 235 × 38 mm · 1,03 kg |
| Taal en grammatica | Frans |
| Uitgever | Baier, Christel |
| Uitgever | Tinelli, Cesare |
Meer door Christel Baier
Alles tonen
![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 (Paperback Book) [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-paperback-book&class=scaled&v=1450314149)
![Cover for Christel Baier · Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science (Paperback Book) [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-paperback-book&class=scaled&v=1450314149)
Bekijk alles van Christel Baier ( bijv. Paperback Book en Hardcover Book )