Axel Legay의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conf (Paperback)
Axel Legay, Margaria Tiziana Margaria (엮은이)
Springer Nature B.V. | 2017년 04월 | 2017년 04월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 25일 출고 변경

Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings (Paperback, 2019)
Axel Legay, Fabrizio Biondi, Thomas Given-Wilson (엮은이)
Springer | 2019년 09월 | 2019년 09월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Paperback, 2016)
Doron Peled, Axel Legay, Cyrille Artho (엮은이)
Springer International Publishing AG | 2016년 09월 | 2016년 09월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceed (Paperback, 2013) - 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Valeria Bertacco, Axel Legay (엮은이)
Springer-Verlag New York Inc | 2013년 10월 | 2013년 10월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Paperback, 2013) - 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings
Saddek Bensalem, Axel Legay (엮은이)
Springer-Verlag New York Inc | 2013년 08월 | 2013년 08월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conf (Paperback)
Axel Legay, Margaria Tiziana Margaria (엮은이)
Springer Nature B.V. | 2017년 04월 | 2017년 04월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 25일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe (Paperback, 2017)
Tiziana Margaria, Axel Legay (엮은이)
Springer | 2017년 03월 | 2017년 03월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

From Programs to Systems - The Systems Perspective in Computing: Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 (Paperback, 2014)
Saddek Bensalem, Axel Legay, Yassine Lakhneck (엮은이)
Springer-Verlag New York Inc | 2014년 03월 | 2014년 03월
74,290원 (18% 할인 / 3,720원)
택배로 주문하면 12월 2일 출고 변경

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Paperback)
Axel Legay, Biondi Fabrizio Biondi, Given-Wilson Thomas Given-Wilson (엮은이)
Springer Nature B.V. | 2019년 09월 | 2019년 09월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 25일 출고 변경

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Paperback, 2017)
Luca Aceto, Axel Legay, Giorgio Bacci, Giovanni Bacci, Anna Ing?fsd?tir (엮은이)
Springer-Verlag New York Inc | 2017년 07월 | 2017년 07월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Formal Modeling and Analysis of Timed Systems: 12th International Conference, Formats 2014, Florence, Italy, September 8-10, 2014, Proceedings (Paperback, 2014)
Axel Legay, Marius Bozga (엮은이)
Springer-Verlag New York Inc | 2014년 08월 | 2014년 08월
74,290원 (18% 할인 / 3,720원)
택배로 주문하면 12월 2일 출고 변경

From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 201 (Paperback)
Axel Legay, Bensalem Saddek Bensalem, Lakhnech Yassine Lakhnech (엮은이)
Springer Nature B.V. | 2014년 03월 | 2014년 03월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 25일 출고 변경

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Paperback)
Axel Legay, Marius Bozga (엮은이)
Springer Nature B.V. | 2014년 10월 | 2014년 10월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 25일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe (Paperback, 2017)
Tiziana Margaria, Axel Legay (엮은이)
Springer | 2017년 03월 | 2017년 03월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

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

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

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

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

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

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