Narciso Marti-oliet의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Logic, Rewriting, and Concurrency: Essays Dedicated to Jos?Meseguer on the Occasion of His 65th Birthday (Paperback, 2015)
Narciso Marti-oliet, Carolyn Talcott, Peter Csaba Olveczky (엮은이)
Springer | 2015년 08월 | 2015년 08월
83,330원 (18% 할인 / 4,170원)
택배로 주문하면 11월 25일 출고 변경

All About Maude: A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic [With CDROM] (Paperback)
Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Marti-oliet
Springer-Verlag New York Inc | 2007년 07월 | 2007년 07월
140,200원 (18% 할인 / 7,010원)
택배로 주문하면 11월 25일 출고 변경

Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Paperback)
Narciso Marti-oliet, Escobar Santiago Escobar (엮은이)
Springer Nature B.V. | 2020년 12월 | 2020년 12월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 18일 출고 변경

Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Paperback)
Narciso Marti-oliet, Miguel Palomino (엮은이)
Springer Nature B.V. | 2013년 04월 | 2013년 04월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 18일 출고 변경

Logic, Rewriting, and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday (Paperback)
차바 (Peter Csaba), Narciso Marti-oliet, Carolyn Talcott (엮은이)
Springer Nature B.V. | 2015년 08월 | 2015년 08월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 18일 출고 변경

Rewriting Logic and Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Paperback, 2020)
Narciso Marti-oliet, Santiago Escobar (엮은이)
Springer | 2020년 12월 | 2020년 12월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 11월 25일 출고 변경

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

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

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

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

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

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