Hanne Riis Nielson
Hanne Riis Nielson
1954
4 ספרים במאגר
ספרים
Semantics with applicationsHanne Riis Nielson
Semantics with applications
Hanne Riis Nielson · 2007
Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996Hanne Riis Nielson
Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996
Hanne Riis Nielson · 1996
Coordination Models and LanguagesHanne Riis Nielson
Coordination Models and Languages
Hanne Riis Nielson · 2019
Static AnalysisHanne Riis Nielson
Static Analysis
Hanne Riis Nielson · 2007
ספרים משותפים ואוספים
ספרים שבהם Hanne Riis Nielson מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Two-level functional languagesFlemming Nielson
Two-level functional languages
Flemming Nielson · 2005
Principles of program analysisFlemming Nielson
Principles of program analysis
Flemming Nielson · 2004
Type and effect systemsTorben Amtoft
Type and effect systems
Torben Amtoft · 1999
Formal MethodsFlemming Nielson
Formal Methods
Flemming Nielson · 2019