Marieke Huisman의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Concise Guide to Software Verification (Paperback) - From Model Checking to Annotation Checking
Marieke Huisman
Springer Nature B.V. | 2023년 07월 | 2023년 07월
65,680원 (10% 할인 / 3,290원)
택배로 주문하면 2025년 1월 14일 출고 변경

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Paperback)
Marieke Huisman, Jan Friso Groote (엮은이)
Springer | 2022년 08월 | 2022년 08월
116,670원 (18% 할인 / 5,840원)
택배로 주문하면 2025년 1월 21일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Paperback)
Marieke Huisman
Creative Media Partners, LLC | 2020년 10월 | 2020년 10월
95,170원 (10% 할인 / 4,760원)
택배로 주문하면 2025년 1월 14일 출고 변경

Integrated Formal Methods: 12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Paperback, 2016)
Marieke Huisman, Erika Abraham (엮은이)
Springer | 2016년 05월 | 2016년 05월
124,620원 (18% 할인 / 6,240원)
택배로 주문하면 2025년 1월 21일 출고 변경

Tests and Proofs: 18th International Conference, Tap 2024, Milan, Italy, September 9-10, 2024, Proceedings (Paperback, 2025)
Marieke Huisman, Falk Howar (엮은이)
Springer | 2024년 09월 | 2024년 09월
229,930원 (10% 할인 / 6,900원)
택배로 주문하면 2025년 1월 9일 출고 변경

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Paperback, 2023)
Marieke Huisman, Anton Wijs
Springer | 2024년 07월 | 2024년 07월
93,460원 (18% 할인 / 4,680원)
택배로 주문하면 2025년 1월 16일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe (Paperback, 2018)
Marieke Huisman, Dirk Beyer (엮은이)
Springer | 2018년 04월 | 2018년 04월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 2025년 1월 21일 출고 변경

Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European Joint Conferences on Theory and (Paperback, 2017)
Marieke Huisman, Julia Rubin (엮은이)
Springer | 2017년 03월 | 2017년 03월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 2025년 1월 21일 출고 변경

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, (Paperback, 2005)
Gilles Barthe, Lilian Burdy, Marieke Huisman (엮은이)
Springer Verlag | 2005년 01월 | 2005년 01월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 2025년 1월 21일 출고 변경

Formal Techniques for Distributed Objects, Components, and Systems (Paperback) - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques
Marieke Huisman
Springer Nature B.V. | 2023년 06월 | 2023년 06월
65,680원 (10% 할인 / 3,290원)
택배로 주문하면 2025년 1월 14일 출고 변경

Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In (Paperback, 2023)
Marieke Huisman, Ant?io Ravara (엮은이)
Springer | 2023년 06월 | 2023년 06월
116,670원 (18% 할인 / 5,840원)
택배로 주문하면 2025년 1월 21일 출고 변경

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Hardcover, 2023)
Marieke Huisman, Anton Wijs
Springer | 2023년 07월 | 2023년 07월
124,620원 (18% 할인 / 6,240원)
택배로 주문하면 2025년 1월 16일 출고 변경

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback)
Marieke Huisman, Corina Pasareanu, Naijun Zhan (엮은이)
Springer | 2021년 11월 | 2021년 11월
171,360원 (18% 할인 / 8,570원)
택배로 주문하면 2025년 1월 21일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe (Paperback, 2018)
Marieke Huisman, Dirk Beyer (엮은이)
Springer | 2018년 04월 | 2018년 04월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 2025년 1월 21일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Hardcover)
Marieke Huisman
Creative Media Partners, LLC | 2020년 10월 | 2020년 10월
114,880원 (10% 할인 / 5,750원)
택배로 주문하면 2025년 1월 14일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, (Paperback, 2019)
Fabrice Kordon, Marieke Huisman, Dirk Beyer (엮은이)
Springer | 2019년 04월 | 2019년 04월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 2025년 1월 21일 출고 변경

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

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

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

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

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

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