Fabrice Kordon의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Formal Methods for Embedded Distributed Systems: How to Master the Complexity (Paperback)
  • Fabrice Kordon, Michel Lemoine (엮은이)
  • Springer | 2010년 11월
  • 152,700원 (18% 할인 / 7,640원)
  • 택배로 주문하면 10월 16일 출고 변경
  • Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers (Paperback)
  • Fabrice Kordon, Janos Sztipanovits (엮은이)
  • Springer-Verlag New York Inc | 2007년 02월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 16일 출고 변경
  • Reliable Software Technologies - ADA-Europe 2007: 12th ADA-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, Jun (Paperback, 2007)
  • Nabil Abdennahder, Fabrice Kordon (엮은이)
  • Springer-Verlag New York Inc | 2007년 06월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 16일 출고 변경
  • Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition (Paperback, 2024)
  • Fabrice Kordon, Dirk Beyer, Arnd Hartmanns (엮은이)
  • Springer | 2024년 10월
  • 76,340원 (18% 할인 / 3,820원)
  • 예약판매
  • 택배로 주문하면 11월 6일 출고 변경
  • Embedded Systems : Analysis and Modeling with SysML, UML and AADL (Hardcover)
  • Fabrice Kordon (엮은이)
  • John Wiley & Sons Inc | 2013년 04월
  • 244,400원 (18% 할인 / 12,220원)
  • 택배로 주문하면 10월 2일 출고 변경
  • Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings (Paperback)
  • Daniel Moldt, Fabrice Kordon (엮은이)
  • Springer Nature B.V. | 2016년 06월
  • 60,280원 (10% 할인 / 3,020원)
  • 택배로 주문하면 10월 8일 출고 변경
  • Reliable Software Technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, Ju (Paperback)
  • Nabil Abdennahder, Fabrice Kordon (엮은이)
  • Springer Nature B.V. | 2009년 09월
  • 60,280원 (10% 할인 / 3,020원)
  • 택배로 주문하면 10월 8일 출고 변경
  • Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Pap (Paperback, 2008)
  • Fabrice Kordon, Oleg Sokolsky (엮은이)
  • Springer-Verlag New York Inc | 2008년 01월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 16일 출고 변경
  • Reliable Software Technologies - ADA-Europe 2008: 13th ADA-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-2 (Paperback, 2008) - 13th Ada-Europe International Conference on Reliable Software Technologies, June 16-20, 2008, Venice, Italy, Proceedings
  • Fabrice Kordon, Tullio Vardanega
  • Springer-Verlag New York Inc | 2008년 06월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 16일 출고 변경
  • 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월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 16일 출고 변경
  • Application and Theory of Petri Nets and Concurrency: 37th International Conference, Petri Nets 2016, Toruń, Poland, June 19-24, 2016. Proceeding (Paperback, 2016)
  • Daniel Moldt, Fabrice Kordon (엮은이)
  • Springer International Publishing AG | 2016년 06월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 16일 출고 변경
  • Formal Methods for Embedded Distributed Systems: How to Master the Complexity (Hardcover, 2004) - How To Master The Complexity
  • Fabrice Kordon, Michel Lemoine (엮은이)
  • Kluwer Academic Pub | 1991년 09월
  • 152,700원 (18% 할인 / 7,640원)
  • 택배로 주문하면 10월 16일 출고 변경

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

뒤로가기
위로가기