![Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture - Tiziana Margaria - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - keskiviikko 21. maaliskuuta 2001](https://imusic.b-cdn.net/images/item/original/658/9783540418658.jpg?tiziana-margaria-2001-tools-and-algorithms-for-the-construction-and-analysis-of-systems-7th-international-conference-tacas-2001-held-as-part-of-the-joint-european-conferences-on-theory-and-practice-of-software-etaps-2001-genova-italy-april-2-6-2001-proceed&class=scaled&v=1510560916)
Vinkkaa tuotetta kavereillesi:
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture
Tiziana Margaria
Hinta
€ 124,99
Tilattu etävarastosta
Arvioitu toimitus ti 30. heinä - pe 9. elo
Lisää iMusic-toivelistallesi
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture
Tiziana Margaria
This title comprises selected papers covering topics such as symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, and software verification,
594 pages, biography
Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | keskiviikko 21. maaliskuuta 2001 |
ISBN13 | 9783540418658 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 594 |
Mitta | 156 × 234 × 31 mm · 1,39 kg |
Toimittaja | Margaria, Tiziana |
Toimittaja | Wang, Yi |
Näytä kaikki
Lisää tuotteita Tiziana Margaria
Katso kaikki joka sisältää Tiziana Margaria ( Esim. Paperback Book )