Limit search to items available for checkout
BOOK
Title Semantics for concurrency : proceedings of the International BCS-FACS Workshop / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK ; [editors] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
Imprint London ; New York : Springer-Verlag, c1990.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA76.642 .I56 1990    AVAILABLE