|
- Model Checking Software: 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proc (Paperback, 2016)
- Dragan Bo쉗acki, Anton Wijs (엮은이)
- Springer-Verlag New York Inc | 2016년 04월 | 2016년 04월
- 77,380원 (18% 할인 / 3,870원)
- 택배로 주문하면 11월 27일 출고 변경
|
|
