
Vinkkaa tuotetta kavereillesi:
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
Radhia Cousot
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
Katso kaikki joka sisältää Radhia Cousot ( Esim. Paperback Book )