1. Logics for concurrency : structure versus automata

by Moller, Faron | Birtwistle, Graham.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 004 MOL] (1).
2. Modelling computer systems : mathematics of computer science

by Moller, Faron | Struth, Georg.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 004.0151 MOL] (1).

Powered by Koha