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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540617396 - keskiviikko 11. syyskuuta 1996
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
£ 54,99

Tilattu etävarastosta

Arvioitu toimitus to - ma 8. - 19. touko
Lisää iMusic-toivelistallesi
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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 11. syyskuuta 1996
ISBN13 9783540617396
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 408
Mitta 156 × 234 × 21 mm   ·   566 g
Toimittaja Cousot, Radhia
Toimittaja Schmidt, David A.

Näytä kaikki

Lisää tuotteita Radhia Cousot