Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings - Lecture Notes in Computer Science - Chris Hankin - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540285847 - 25 sierpnia 2005
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Chris Hankin

Cena
zł 264,90

Zamówione z odległego magazynu

Przewidywana dostawa 3 - 15 paź

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

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Constitutes the proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005. The papers address various aspects of static analysis, including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, and more.

374 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 25 sierpnia 2005
ISBN13 9783540285847
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 374
Wymiary 155 × 235 × 19 mm   ·   566 g
Język German  
Redaktor Hankin, Chris
Redaktor Siveroni, Igor
Pokaż wszystko

Więcej od Chris Hankin

Zobacz wszystko od Chris Hankin ( np. Paperback Book )