|
- Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (Paperback) - School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3,
- J. W. De Bakker, W. P. De Roever (엮은이)
- Springer Verlag | 1989년 07월 | 1989년 07월
- 152,450원 (18% 할인 / 7,630원)
- 택배로 주문하면 10월 4일 출고 변경
|
|