|
- 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월
- 76,340원 (18% 할인 / 3,820원)
- 택배로 주문하면 10월 17일 출고 변경
|
|
