Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642331244
Price: 277.38 RON
Availability: InStock

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Autor: Antoine Mine, David Schmidt

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Sta...

Informații despre carte

Autor

Antoine Mine, David Schmidt

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

457

EAN

9783642331244

ISBN

3642331246

Enbook ID

01662058

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

718

Dimensiuni

155 x 235 x 26

Descriere completă

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și