보관함에 상품담기

장바구니에 상품담기

Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Paperback)
Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
Springer Nature B.V. | 2013년 11월 | 2013년 11월
65,680원 (10% 할인 / 3,290원)
택배로 주문하면 2025년 1월 13일 출고 변경

Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Paperback, 2017)
Jonathan P. Bowen, Huibiao Zhu (엮은이)
Springer-Verlag New York Inc | 2017년 01월 | 2017년 01월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 2025년 1월 20일 출고 변경

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Paperback, 2013) - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
Springer-Verlag New York Inc | 2013년 07월 | 2013년 07월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 2025년 1월 20일 출고 변경

Service-Oriented Computing - Icsoc Workshops 2012: Icsoc 2012, International Workshops Asc, Disa, Paasc, Sceb, Semaps, and Wesoa, and Satellite Events (Paperback, 2013) - Icsoc 2012, International Workshops Asc, Disa, Paasc, Sceb, Semaps, and Wesoa, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Se
Aditya Ghose, Qi Yu, Alex Delis, Huibiao Zhu (엮은이)
Springer-Verlag New York Inc | 2013년 04월 | 2013년 04월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 2025년 1월 20일 출고 변경

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback)
Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
Springer Nature B.V. | 2013년 11월 | 2013년 11월
65,680원 (10% 할인 / 3,290원)
택배로 주문하면 2025년 1월 13일 출고 변경