|
- Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceeding (Paperback)
- Dragan Bosnacki, Anton Wijs (엮은이)
- Springer Nature B.V. | 2016년 04월 | 2016년 04월
- 62,980원 (10% 할인 / 3,150원)
- 택배로 주문하면 11월 18일 출고 변경
|
|
