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
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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
€ 129,49

Tilattu etävarastosta

Arvioitu toimitus pe - ti 14. - 25. helmi

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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

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 )