Your search returned 4 results.

Sort
Results
Theory of objects

by Abadi, Martin | Cardelli, Luca | .

Series: Edition: Language: English Publication details: ; New York : Springer, 1996 ; 1996Availability: Items available for loan: 1 Call number: 681.3.06 Aba.

CONCUR 05 : concurrency theory : 16th international conference proceedings, San Francisco, CA, USA, Aug. 23-26, 2005

by | Abadi, Martin | Abadi, Martin.

Series: Lecture notes in computer science ; v.3653Edition: Language: English Publication details: Berlin ; Springer ; 2005Availability: Items available for loan: 1 Call number: 681.327.8CON:16:05.

Theoretical aspects of computer software (e-book)

by Abadi, Martin.

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

Concur 2005 - concurrency theory (e-book)

by Abadi, Martín.

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

Pages

Powered by Koha