Your search returned 6 results.

Sort
Results
Static analysis : 7th international symposium proceedings, SAS, Santa Barbara, CA, USA, June 29-July 1, 2000

by | Palsberg, Jens | Palsberg, Jens.

Series: Lecture notes in computer science ; v.1824Edition: Language: English Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: 1 Call number: 681.3.06Sta:7:00.

Static analysis : 16th international symposium proceedings, SAS, Los Angeles, CA, USA, Aug. 9-11, 2009

by | Palsberg, Jens | Palsberg, Jens.

Series: Lecture notes in computer science ; 5673Edition: Language: English Publication details: Berlin ; Springer ; 2009Availability: Items available for loan: 1 Call number: 681.3.06Sta:16:09.

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday

by | Palsberg, Jens | Palsberg, Jens.

Series: Lecture notes in computer science ; 5700Edition: Language: English Publication details: Berlin ; Springer ; 2009Availability: Items available for loan: 1 Call number: 681.3.06:415.4Sem.

Static analysis (e-book)

by Palsberg, Jens.

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

Semantics and algebraic specification (e-book)

by Palsberg, Jens.

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

Static analysis (e-book)

by Palsberg, Jens.

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

Pages

Powered by Koha