Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: A Mechanically Verified Compiling Specification for a Lisp Compiler
Beteiligte:
Dold, Axel;
Vialard, Vincent
Erschienen:
Springer Berlin Heidelberg, 2001
Erschienen in:FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science