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.

Saved in:

Bibliographic Details
Corporate Authors:	International BCS-FACS Workshop University of Leicester, S.E.R.C. "Logic for IT.", British Computer Society
Other Authors:	Kwiatkowska, M. Z. (Marta Z.), 1957-, Shields, M. W. (Michael William), 1950-, Thomas, R. M. (Richard Monro), 1952-
Format:	Conference Proceeding Book
Language:	English
Published:	London ; New York : Springer-Verlag, ©1990.
Series:	Workshops in computing.
Subjects:	Parallel programming (Computer science) > Congresses. Programming languages (Electronic computers) > Semantics > Congresses.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.642 .I56 1990
QA76.642 .I56 1990	Available Place a Hold