1. Concurrent programming : principles and practice

by Andrews, Gregory R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Menlo Park: Addison-Wesley, 1991Availability: Items available for loan: [Call number: 004.35 AND] (1).
2. Abstraction, Refinement and Proof for Probabilistic Systems

by McIver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MCL] (1).

Powered by Koha