보관함에 상품담기

장바구니에 상품담기

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월
60,280원 (10% 할인 / 3,020원)
택배로 주문하면 9월 27일 출고 변경

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월
72,950원 (18% 할인 / 3,650원)
택배로 주문하면 9월 26일 출고 변경

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월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 10월 8일 출고 변경

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월
83,970원 (18% 할인 / 4,200원)
택배로 주문하면 10월 8일 출고 변경

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월
81,680원 (18% 할인 / 4,090원)
택배로 주문하면 10월 8일 출고 변경

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월
163,390원 (18% 할인 / 8,170원)
택배로 주문하면 10월 8일 출고 변경

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월
114,520원 (18% 할인 / 5,730원)
택배로 주문하면 10월 8일 출고 변경

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월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 10월 8일 출고 변경