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
€ 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
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 |
| Kieli | German |
| Toimittaja | Cousot, Radhia |
| Toimittaja | Schmidt, David A. |
Näytä kaikki
Lisää tuotteita Radhia Cousot
Katso kaikki joka sisältää Radhia Cousot ( Esim. Paperback Book )