Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Informacija

Leidėjas: Springer Nature Switzerland
Išleidimo metai: 2014
Knygos puslapių skaičius: 356
ISBN-10: 3319109359
ISBN-13: 9783319109350
Formatas: 235 x 155 x 20 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings“