|
- Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Br (Paperback, 2015)
- Rolf Drechsler, Ulrich Kuhne (엮은이)
- Springer Vieweg | 2015년 06월 | 2015년 06월
- 82,780원 (18% 할인 / 4,140원)
- 택배로 주문하면 12월 5일 출고 변경
|
|