Linear time, branching time and partial order in logics and models for concurrency school/workshop, Noordwijkerhout, the Netherlands may 30 - june 3, 1988
Language: English Series: Lecture notes in computer science ; 354Publication details: Berlin Springer-Verlag 1989 1989Description: viii,713 pISBN:- 038751080x
- 001.6407Â LIN

Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
![]() |
Main Library Lending Section | Lending Collection | 001.6407 LIN (Browse shelf(Opens below)) | Available | 407159 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.