|
- [외국도서] Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July 5, 1999, Toulouse, France, Sep (Paperback, 1999) - 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings
- R. Gerth (엮은이)
- Springer Verlag | 1999년 09월 | 1999년 09월
- 76,340원 (18% 할인 / 3,820원)
- 택배로 주문하면 10월 31일 출고 변경
|
|