Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 - Proceedings) - Lecture Notes in Computer Science - Radhia Cousot - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540617396 - 11. september 1996
Ved uoverensstemmelse mellem cover og titel gælder titel

Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 - Proceedings) - Lecture Notes in Computer Science

Radhia Cousot

Pris
DKK 449

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 11. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller

Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 - Proceedings) - Lecture Notes in Computer Science

This work constitutes the proceedings of the Third International Static Analysis Symposium, SAS '96. Among the topics addressed are: program analysis; incremental analysis; abstract representation; partial evaluation; logic programming; functional programming; and constraint programming.


408 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 11. september 1996
ISBN13 9783540617396
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 408
Mål 156 × 234 × 21 mm   ·   566 g
Sprog Tysk  
Klipper/redaktør Cousot, Radhia
Klipper/redaktør Schmidt, David A.

Vis alle

Mere med Radhia Cousot