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.
|
|
|
|
|
|
Formal methods (e-book) by Nielson, Flemming. Material type: 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) .
|