Danvy, Olivier books & textbook
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Agha, Gul Danvy, Olivier Meseguer, José
Springer /2011-10-13 Paperback / 467 Pages
isbn-10: 3642249329 / isbn-13: 9783642249327
Automatic Program Development: A Tribute to Robert Paige
Danvy, Olivier Henglein, Fritz Mairson, Harry Pettorossi, Alberto
Springer /2010-10-19 Paperback / 286 Pages
isbn-10: 9048176743 / isbn-13: 9789048176748
Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers (Lecture Notes in Computer Science, 1110)
Danvy, Olivier Glück, Robert Thiemann, Peter
Springer /1996-08-14 Paperback / 532 Pages
isbn-10: 3540615806 / isbn-13: 9783540615804
Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science, 2053)
Filinski, Andrzej Danvy, Olivier
Springer /2001-01-01 Paperback / 279 Pages
isbn-10: 3540420681 / isbn-13: 9783540420682
