Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings - Lecture Notes in Computer Science - Chris Hankin - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540285847 - 25. august 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Chris Hankin

Pris
R$ 402,38

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 7. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 25. august 2005
ISBN13 9783540285847
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 374
Mål 155 × 235 × 19 mm   ·   566 g
Sprog Tysk  
Klipper/redaktør Hankin, Chris
Klipper/redaktør Siveroni, Igor
Vis alle

Mere med Chris Hankin

Se alt med Chris Hankin ( f.eks. Paperback Bog )