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
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 12. - 20. marras
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

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
Kieli German  
Toimittaja Cousot, Radhia
Toimittaja Schmidt, David A.

Näytä kaikki

Lisää tuotteita Radhia Cousot