Type and effect systems : behaviours for concurrency /

Saved in:
Bibliographic Details
Main Author: Amtoft, Torben
Other Authors: Nielson, Hanne Riis, Nielson, Flemming
Format: Book
Language:English
Published: London : Imperial College Press, c1999.
Subjects:

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A3:AI03E0 C12537
Copy 1 Available  Place a Hold