Spara
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands.
- Undertitel
- School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
- Upplaga
- 1989 ed.
- ISBN
- 9783540510802
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1989-03-30
- Sidor
- 718
