보관함에 상품담기

장바구니에 상품담기

The Complete Guide to Scion: From Design Principles to Formal Verification (Paperback, 2022)
David Basin, Laurent Chuat, Markus Legner
Springer | 2023년 05월 | 2023년 05월
150,010원 (18% 할인 / 7,510원)
택배로 주문하면 8월 21일 출고 변경

Principles of Security and Trust: Second International Conference, Post 2013, Held as Part of the European Joint Conferences on Theory and Practice of (Paperback, 2013) - Second International Conference, Post 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy
John C. Mitchell, David Basin (엮은이)
Springer-Verlag New York Inc | 2013년 02월 | 2013년 02월
77,880원 (18% 할인 / 3,900원)
택배로 주문하면 8월 21일 출고 변경

The Complete Guide to SCION: From Design Principles to Formal Verification (Hardcover)
David Hausheer, David Basin, Laurent Chuat, Markus Legner, Samuel Hitz
Springer | 2022년 05월 | 2022년 05월
216,700원 (18% 할인 / 10,840원)
택배로 주문하면 8월 21일 출고 변경

Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Paperback, 2004)
David Basin, Michael Rusinowitch (엮은이)
Springer-Verlag New York Inc | 2004년 06월 | 2004년 06월
155,780원 (18% 할인 / 7,790원)
택배로 주문하면 8월 21일 출고 변경