Your search returned 2 results.

Sort
Results
Semantics of Sequential and parallel Programs edited by HOARE,C.A.R.

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

Series: Prentice hall International Series in Computer ScienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: LONDON Prentice Hall 2012Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 005.131 BES.

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

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

Series: Prentice Hall International series in computer scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Prentice Hall, 1996Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 005.2 JOS.

Pages