John Derrick의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

로그인이 필요한 기능입니다.
로그인 후 다시 시도해주세요
로그인

장바구니에 상품담기

품절도서센터
장바구니 가기

Refinement in Z and Object-Z: Foundations and Advanced Applications (Paperback)
John Derrick, Eerke A. Boiten
Springer | 2015년 08월 | 2015년 08월
153,730원 (18% 할인 / 7,690원)
택배로 주문하면 8월 30일 출고 변경

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback, 2012)
John Derrick (엮은이)
Springer-Verlag New York Inc | 2012년 06월 | 2012년 06월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 30일 출고 변경

Refinement: Semantics, Languages and Applications (Paperback, Softcover Repri)
John Derrick, Eerke Boiten
Springer | 2019년 01월 | 2019년 01월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 30일 출고 변경

Refinement: Semantics, Languages and Applications (Hardcover, 2018)
John Derrick, Eerke A. Boiten
Springer | 2018년 09월 | 2018년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 30일 출고 변경

Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches (Paperback)
John Derrick, Howard Bowman (엮은이)
Cambridge Univ Pr | 2011년 07월 | 2011년 07월
87,550원 (18% 할인 / 4,380원)
택배로 주문하면 8월 30일 출고 변경

Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Paperback, 2004)
Graeme Smith, John Derrick , Eerke A. Boiten (엮은이)
Springer-Verlag New York Inc | 2004년 03월 | 2004년 03월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 30일 출고 변경

Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches (Hardcover)
John Derrick, Howard Bowman (엮은이)
Cambridge Univ Pr | 2001년 10월 | 2001년 10월
246,300원 (18% 할인 / 12,320원)
택배로 주문하면 8월 30일 출고 변경

Hana Highway Mile by Mile (Paperback, 4th) - The Road to Hana & Beyond
John Derrick, Natasha Derrick
Hawaiian Style Organization Llc | 2007년 10월 | 2007년 10월
19,360원 (18% 할인 / 970원)
택배로 주문하면 8월 22일 출고 변경

Refinement in Z and Object-Z : Foundations and Advanced Applications (Hardcover, 2nd ed. 2014)
John Derrick, Eerke A. Boiten
Springer Verlag | 2013년 08월 | 2013년 08월
153,730원 (18% 할인 / 7,690원)
택배로 주문하면 8월 30일 출고 변경

Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, P (Paperback, 2007) - 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
John Derrick, J?ri Vain (엮은이)
Springer-Verlag New York Inc | 2007년 06월 | 2007년 06월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 30일 출고 변경

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback)
John Fitzgerald, John Derrick, Gnesi Stefania Gnesi (엮은이)
Springer Nature B.V. | 2013년 01월 | 2013년 01월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 8월 23일 출고 변경

Kemet Rising (Paperback)
John Derrick, Derrick John Wiggins
Authorhouse | 2009년 04월 | 2009년 04월
22,990원 (10% 할인 / 1,150원)
택배로 주문하면 8월 23일 출고 변경

Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback, 2012)
John Derrick, Diego Latella, Stefania Gnesi (엮은이)
Springer-Verlag New York Inc | 2012년 06월 | 2012년 06월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 30일 출고 변경

검색결과에 만족하시나요?

네, 만족해요 아니오, 만족하지 않아요.

로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

중고매장 위치, 영업시간 안내