Publication year: 2007
ISBN: 978-3-540-71322-7
Internet Resource: Please Login to download book
This Festschrift volume publishing to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and research collaborators, as well as current and former colleagues, who all attended a celebratory symposium held at Schloss Dagstuhl, Germany.
Subject: Computer Science, Scheduling, algorithm, algorithms, compiler construction, cryptographic protocols, logical inferences, model checking, optimization, pattern matching, program transformation, programming, programming language, real-time, refinemen, verification