보관함에 상품담기

장바구니에 상품담기

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Paperback)
Frank D., Martin Leucker, Camilo Rueda (엮은이)
Springer Nature B.V. | 2016년 02월 | 2016년 02월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 25일 출고 변경

Formal Methods : 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings (Paperback)
Joost-Pieter Katoen, Martin Leucker, Chechik Marsha Chechik (엮은이)
Springer Nature B.V. | 2023년 03월 | 2023년 03월
74,180원 (18% 할인 / 3,710원)
택배로 주문하면 11월 22일 출고 변경

Theoretical Aspects of Computing - Ictac 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Paperback, 2015)
Martin Leucker, Camilo Rueda, Frank D. Valencia (엮은이)
Springer-Verlag New York Inc | 2015년 12월 | 2015년 12월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Paperback)
Martin Leucker, Ezio Bartocci, Ylies Falcone (엮은이)
Springer | 2021년 09월 | 2021년 09월
85,100원 (18% 할인 / 4,260원)
택배로 주문하면 12월 2일 출고 변경

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Paperback, 2008)
Martin Leucker (엮은이)
Springer-Verlag New York Inc | 2008년 10월 | 2008년 10월
82,780원 (18% 할인 / 4,140원)
택배로 주문하면 12월 2일 출고 변경

Formal Methods: 25th International Symposium, FM 2023, L?eck, Germany, March 6-10, 2023, Proceedings (Paperback, 2023)
Joost-Pieter Katoen, Martin Leucker, Marsha Chechik (엮은이)
Springer | 2023년 03월 | 2023년 03월
165,590원 (18% 할인 / 8,280원)
택배로 주문하면 12월 2일 출고 변경

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Paperback, 2018)
Martin Leucker, Christian Colombo (엮은이)
Springer | 2018년 11월 | 2018년 11월
116,060원 (18% 할인 / 5,810원)
택배로 주문하면 12월 2일 출고 변경

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, Fmics 2006, and 5th Intern (Paperback, 2007) - 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco Van De Pol (엮은이)
Springer-Verlag New York Inc | 2007년 02월 | 2007년 02월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경