SUPER KAINŲ lentynos! Nuo -20% iki -80% pigiau! Naršykite ČIA >>

0 Mėgstami
0Krepšelis

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

-22% su kodu: BOOKS
66,05 
Įprasta kaina: 84,68 
-22% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-30
-22% su kodu: BOOKS
66,05 
Įprasta kaina: 84,68 
-22% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-30
-22% su kodu: BOOKS
2025-03-31 66.05 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ę

Goodreads reviews for „Static Analysis: Third International Symposium, SAS 96, Aachen, Germany, September 24 - 26, 1996. Proceedings“