|
- Abz 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, Tla, VDM, and (Paperback, 2014)
- Frederic Boniol, Virginie Wiels, Yamine Ait Ameur (엮은이)
- Springer | 2014년 05월 | 2014년 05월
- 82,780원 (18% 할인 / 4,140원)
- 택배로 주문하면 12월 2일 출고 변경
|
|
