보관함에 상품담기

장바구니에 상품담기

[eBook Code] Formal Methods for Industrial Critical Systems (eBook Code, 1st) - A Survey of Applications
Stefania Gnesi, Margaria Tiziana
Wiley-IEEE Computer Society Pr | 2012년 11월 | 2012년 11월
118,660원 (20% 할인)
택배로 주문하면 11월 14일 출고 변경

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Paperback, 2016)
John Fitzgerald, Stefania Gnesi, Constance Heitmeyer (엮은이)
Springer | 2016년 11월 | 2016년 11월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Fundamental Approaches to Software Engineering: 17th International Conference, Fase 2014, Held as Part of the European Joint Conferences on Theory and (Paperback, 2014) - 17th International Conference, Fase 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2014, Grenoble, Fra
Arend Rensink, Stefania Gnesi (엮은이)
Springer-Verlag New York Inc | 2014년 03월 | 2014년 03월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Formal Methods for Industrial Critical Systems: A Survey of Applications (Paperback)
Tiziana Margaria, Stefania Gnesi
IEEE Computer Society | 2012년 12월 | 2012년 12월
152,030원 (18% 할인 / 7,610원)
택배로 주문하면 11월 25일 출고 변경

[eBook Code] Formal Methods for Industrial Critical Systems (eBook Code, 1st) - A Survey of Applications
Stefania Gnesi, Margaria Tiziana
Wiley-IEEE Computer Society Pr | 2012년 11월 | 2012년 11월
118,660원 (20% 할인)
택배로 주문하면 11월 14일 출고 변경

[eBook Code] Formal Methods for Industrial Critical Systems (eBook Code, 1st) - A Survey of Applications
Stefania Gnesi, Margaria Tiziana
Wiley-IEEE Computer Society Pr | 2012년 11월 | 2012년 11월
118,660원 (20% 할인)
택배로 주문하면 11월 14일 출고 변경

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 1 (Paperback, 2016)
Alexander Knapp, Stefania Gnesi, Maurice H. Ter Beek (엮은이)
Springer | 2016년 09월 | 2016년 09월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback, 2012)
John Derrick, Diego Latella, Stefania Gnesi (엮은이)
Springer-Verlag New York Inc | 2012년 06월 | 2012년 06월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경