Search results
- Communication and concurrency / Robin Milner. Upper Saddle River, NJ : Prentice-Hall, 1989 . xi, 260 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Elementary logics : a procedural perspective / Dov Gabbay. London ; New York ; Toronto : Prentice-Hall, 1998 . xiv, 365 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0