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 - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - 21 marca 2001
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
R 2.353,05

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 16 kwi

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 21 marca 2001
ISBN13 9783540418658
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 594
Wymiary 156 × 234 × 31 mm   ·   1,39 kg
Redaktor Margaria, Tiziana
Redaktor Wang, Yi
Pokaż wszystko

Więcej od Tiziana Margaria

Zobacz wszystko od Tiziana Margaria ( np. Paperback Book )