
Tipsa dina vänner om produkten:
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
Pris
SEK 1.329
Beställningsvara
Förväntad leverans 4 - 15 apr
Lägg till din iMusic-önskelista
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
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 | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 21 mars 2001 |
ISBN13 | 9783540418658 |
Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
Antal sidor | 594 |
Mått | 156 × 234 × 31 mm · 1,39 kg |
Redaktör | Margaria, Tiziana |
Redaktör | Wang, Yi |