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

Tiziana Margaria
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

Cena
zł 408,90

Zamówione z odległego magazynu

Przewidywana dostawa 1 - 9 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

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

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
Język Niemiecki  
Redaktor Margaria, Tiziana
Redaktor Wang, Yi

Więcej od Tiziana Margaria

Pokaż wszystko

Zobacz wszystko od Tiziana Margaria ( np. Paperback Book )