|
- Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proc (Paperback, 2000)
- Jonathan P. Bowen, Steve Dunne, Andy Galloway (엮은이)
- Springer Verlag | 2000년 08월 | 2000년 08월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 12월 3일 출고 변경
|
|
