
Fortæl dine venner om denne vare:
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.


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
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
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. |