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

Static Analysis: Third International Symposium, SAS 96, Aachen, Germany, September 24 - 26, 1996. Proceedings

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

Knygos aprašymas

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP. The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1996
Knygos puslapių skaičius: 408
ISBN-10: 3540617396
ISBN-13: 9783540617396
Formatas: 235 x 155 x 23 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Static Analysis: Third International Symposium, SAS 96, Aachen, Germany, September 24 - 26, 1996. Proceedings“

Būtina įvertinti prekę