Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science - Bernhard Steffen - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - 7 stycznia 2004
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 15 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 book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.

325 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 7 stycznia 2004
ISBN13 9783540208037
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 325
Wymiary 156 × 234 × 18 mm   ·   480 g
Język Niemiecki  

Więcej od Bernhard Steffen

Pokaż wszystko

Zobacz wszystko od Bernhard Steffen ( np. Paperback Book i Hardcover Book )