Your search returned 2 results. Subscribe to this search

|
1. Semantics of Sequential and parallel Programs edited by HOARE,C.A.R.

by BEST , EIKE | HOARE,C.A.R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: LONDON Prentice Hall 2012Availability: Items available for loan: [Call number: 005.131 BES] (1).

2. Real-time systems : specification, verification, and analysis / edited by Mathai Joseph.

by Joseph, Mathai, (Ed.) | Joseph, M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London ; New York : Prentice Hall, 1996Availability: Items available for loan: [Call number: 005.2 JOS] (1).