Your search returned 6 results.

Sort
Results
Two-level functional languages

by Nielson, Flemming | Nielson, Hanne Riis | .

Series: Edition: Language: English Publication details: ; Cambridge : Cambridge University Press, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06 Nie.

Principles of program analysis

by Nielson, Flemming | Nielson, Hanne Riis | Hankin, Chris | .

Series: Edition: Language: English Publication details: ; Berlin : Springer-Verlag, 1999 ; 1999Availability: Items available for loan: 1 Call number: 681.3.06 Nie.

Principles of program analysis

by Nielson, Flemming | Nielson, Hanne Riis | Hankin, Chris | .

Series: Edition: Language: English Publication details: Berlin ; Springer Verlag ; 1999Availability: Not available: Checked out (1).

Semantics with applications : a formal introduction

by Nielson, Hanne Riis | Nielson, Flemming | .

Series: Edition: Language: English Publication details: ; Chichester : John Wiley, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06 Nie.

Principles of security and trust (e-book)

by Nielson, Flemming.

Series: Lecture Notes in Computer Science (LNCS) ; v.11426Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2019Online access: Click here to access online Availability: Items available for reference: Online (1) .

Formal methods (e-book)

by Nielson, Flemming.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2019Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha