Kim G. Larsen의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Paperback, 2019)
Kim G. Larsen, Tiziana Margaria, Susanne Graf (엮은이)
Springer International Publishing | 2019년 06월 | 2019년 06월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 10일 출고 변경

Formal Modeling and Analysis of Timed Systems: First International Workshop, Formats 2003, Marseille, France, September 6-7, 2003, Revised Papers (Paperback, 2004)
Kim G. Larsen, Peter Niebert (엮은이)
Springer-Verlag New York Inc | 2004년 04월 | 2004년 04월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 10일 출고 변경

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P (Paperback, 2017)
Ji Wang, Kim G. Larsen, Oleg Sokolsky (엮은이)
Springer-Verlag New York Inc | 2017년 10월 | 2017년 10월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 10일 출고 변경

Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Paperback, 1992)
Kim G. Larsen, Arne Skou
Springer Verlag | 1992년 04월 | 1992년 04월
82,780원 (18% 할인 / 4,140원)
택배로 주문하면 9월 10일 출고 변경

Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Paperback, 2002)
Kim G. Larsen, E. Brinksma (엮은이)
Springer Verlag | 2002년 07월 | 2002년 07월
165,590원 (18% 할인 / 8,280원)
택배로 주문하면 9월 10일 출고 변경

Automata, Languages and Programming: 25th International Colloquium, Icalp'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Paperback, 1998)
Kim G. Larsen, Sven Skyum, Glynn Winskel (엮은이)
Springer-Verlag New York Inc | 1998년 07월 | 1998년 07월
154,750원 (18% 할인 / 7,740원)
택배로 주문하면 9월 10일 출고 변경

Computer Aided Verification (Paperback) - 3rd International Workshop, Cav 92 : Proceedings
Kim G. Larsen , A. Skou (엮은이)
Springer Verlag | 1992년 06월 | 1992년 06월
130,590원 (18% 할인 / 6,530원)
택배로 주문하면 9월 2일 출고 변경

Reactive Systems : Modelling, Specification and Verification (Hardcover)
Kim G. Larsen, Luca Aceto, Anna Ingolfsdottir, Jiri Srba
Cambridge Univ Pr | 2007년 08월 | 2007년 08월
146,930원 (18% 할인 / 7,350원)
택배로 주문하면 9월 10일 출고 변경

Principles of Model Checking (Hardcover)
Christel Baier, Joost-Pieter Katoen , Kim G. Larsen
Mit Pr | 2008년 05월 | 2008년 05월
154,460원 (18% 할인 / 7,730원)
택배로 주문하면 8월 30일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Select (Paperback, 1995)
Kim G. Larsen, Tiziana Margaria, Bernhard Steffen, W. Rance Cleaveland, Ed Brinksma (엮은이)
Springer Verlag | 1995년 11월 | 1995년 11월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 10일 출고 변경

Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project (Hardcover, 2012) - The Quasimodo Project
Brian Nielsen, Kim G. Larsen, Jan Tretmans (엮은이)
Springer Verlag | 2012년 08월 | 2012년 08월
195,180원 (18% 할인 / 9,760원)
택배로 주문하면 9월 2일 출고 변경

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

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

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

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

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

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