Flemming Nielson
Flemming Nielson
1955
6 ספרים במאגר
ספרים
ML with ConcurrencyFlemming Nielson
ML with Concurrency
Flemming Nielson · 2012
Two-level functional languagesFlemming Nielson
Two-level functional languages
Flemming Nielson · 2005
Principles of program analysisFlemming Nielson
Principles of program analysis
Flemming Nielson · 2004
ML With ConcurrencyFlemming Nielson
ML With Concurrency
Flemming Nielson · 1996
Principles of Security and TrustFlemming Nielson
Principles of Security and Trust
Flemming Nielson · 2020
Formal MethodsFlemming Nielson
Formal Methods
Flemming Nielson · 2019
ספרים משותפים ואוספים
ספרים שבהם Flemming Nielson מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
