보관함에 상품담기

장바구니에 상품담기

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Paperback) - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Alessandro Fantechi
Springer Nature B.V. | 2017년 12월 | 2017년 12월
61,180원 (10% 할인 / 3,060원)
택배로 주문하면 11월 4일 출고 변경

Software Engineering for Resilient Systems: 7th International Workshop, Serene 2015, Paris, France, September 7-8, 2015. Proceedings (Paperback, 2015)
Alessandro Fantechi, Patrizio Pelliccione (엮은이)
Springer-Verlag New York Inc | 2015년 08월 | 2015년 08월
61,090원 (18% 할인 / 3,060원)
택배로 주문하면 11월 11일 출고 변경

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Paperback, 2019)
Alessandro Fantechi, Maurice H. Ter Beek, Laura Semini (엮은이)
Springer | 2019년 09월 | 2019년 09월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 11월 11일 출고 변경

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, Rssrail 2 (Paperback, 2017)
로마노프스키 (Alexander Romanovsky), Alessandro Fantechi, Thierry Lecomte (엮은이)
Springer | 2017년 10월 | 2017년 10월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 11월 11일 출고 변경

Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist (Paperback, Softcover Repri) - Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods), February 15-18, 1999, Florence,
Paolo Ciancarini, Alessandro Fantechi (엮은이)
Springer-Verlag New York Inc | 2013년 01월 | 2013년 01월
305,430원 (18% 할인 / 15,280원)
택배로 주문하면 11월 11일 출고 변경

Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist (Hardcover, 1999) - Ifip Tc6/Wg6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (Fmoods) : February 15-18, 1999, Florence
Paolo Ciancarini, Alessandro Fantechi (엮은이)
Kluwer Academic Pub | 1999년 02월 | 1999년 02월
305,430원 (18% 할인 / 15,280원)
택배로 주문하면 11월 11일 출고 변경

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Pape (Paperback) - 13th International Workshop, Fmics 2008, L'aquila, Italy, September 15-16, 2008, Revised Selected Papers
Darren Cofer, Alessandro Fantechi (엮은이)
Springer-Verlag New York Inc | 2009년 07월 | 2009년 07월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 11월 11일 출고 변경