Carroll Morgan의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

On the Refinement Calculus (Hardcover)
K. Robinson, Carroll Morgan, P. Gardiner , C. Morgan (엮은이)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K | 1993년 12월 | 1993년 12월
132,840원 (18% 할인 / 3,990원)
택배로 주문하면 11월 19일 출고 변경

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Revised Selected Papers (Paperback)
Carroll Morgan, Adenilso Simao (엮은이)
Springer-Verlag New York Inc | 2011년 10월 | 2011년 10월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Programming Methodology (Hardcover)
Annabelle McIver, Carroll Morgan (엮은이)
Springer-Verlag New York Inc | 2002년 10월 | 2002년 10월
165,590원 (18% 할인 / 8,280원)
택배로 주문하면 12월 2일 출고 변경

Programming Methodology (Paperback)
Carroll Morgan, Annabelle Mclver
Springer Verlag | 2010년 12월 | 2010년 12월
170,230원 (18% 할인 / 8,520원)
택배로 주문하면 12월 2일 출고 변경

On the Refinement Calculus (Paperback, 1992)
Carroll Morgan, Trevor Vickers (엮은이)
Springer-Verlag New York Inc | 1994년 12월 | 1994년 12월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

When God Speaks, Obey! (Paperback)
Carroll Morgan
Arpress | 2024년 02월 | 2024년 02월
14,220원 (18% 할인 / 720원)
택배로 주문하면 11월 15일 출고 변경

When God Speaks, Obey! (Paperback)
Carroll Morgan
Author Reputation Press, LLC | 2023년 02월 | 2023년 02월
14,220원 (18% 할인 / 720원)
택배로 주문하면 11월 22일 출고 변경

3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (Organised by BCS-Facs, and Sponsored by IBM UK Laboratories, Hurslay Park (Paperback)
Carroll Morgan, Jim C. P. Woodcock (엮은이)
Springer | 1991년 04월 | 1991년 04월
173,800원 (10% 할인 / 5,220원)
택배로 주문하면 11월 22일 출고 변경

Abstraction, Refinement And Proof For Probabilistic Systems (Hardcover)
Annabelle McIver, Carroll Morgan
Springer-Verlag New York Inc | 2004년 11월 | 2004년 11월
248,390원 (18% 할인 / 12,420원)
택배로 주문하면 12월 2일 출고 변경

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

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

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

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

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

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