Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems  Paperback

Steffen, Bernhard/ Kordon, Fabrice/ Huisman, Marieke

  • ウェブストア価格 ¥9,765(本体¥8,878)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 440pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems  Hardcover

Steffen, Bernhard/ Kordon, Fabrice/ Huisman, Marieke

  • ウェブストア価格 ¥12,261(本体¥11,147)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 555pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Enbedded Systems : Analysis and Modeling with Sysml, Uml and Aadl (Electronics Engineering Series)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Enbedded Systems : Analysis and Modeling with Sysml, Uml and Aadl (Electronics Engineering Series)  Hardcover,  言語:ENG

Kordon, Fabrice (EDT)/ Hugues, Jerome (EDT)/ Canals , Agusti (EDT)/ Do

  • ウェブストア価格 ¥38,835(本体¥35,305)
  • Iste/Hermes Science Pub(2013/05発売)
  • ポイント 1,765pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for Embedded Distributed Systems : How to Master the Complexity
  • 洋書
  • ポイントキャンペーン

Formal Methods for Embedded Distributed Systems : How to Master the Complexity  Paperback,  言語:ENG

Kordon, Fabrice/ Lemoine, Michel (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer(2010/10発売)
  • ポイント 1,090pt
  • 海外取次在庫
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005 Laguna Beach, CA, USA, September 22-24, 2005 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4322. (Lecture Notes in Computer Science)
  • 洋書
Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5570〉
  • 洋書
  • ポイントキャンペーン

Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5570〉  Paperback,  言語:ENG

Kordon, Fabrice (EDT)/ Kermarrec, Yvon (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2009/06発売)
  • ポイント 545pt
  • 海外取次在庫
Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, USA, September, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4322〉
  • 洋書
  • ポイントキャンペーン

Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, USA, September, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4322〉  Paperback,  言語:ENG

Kordon, Fabrice (EDT)/ Sztipanovits, Janos (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2007/03発売)
  • ポイント 545pt
  • 海外取次在庫
Distibuted Systems : Design and Algorithms
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Distibuted Systems : Design and Algorithms  Hardcover,  言語:ENG

Haddad, Serge (EDT)/ Kordon, Fabrice (EDT)/ Pautet, Laurent (EDT)/ Pet

  • ウェブストア価格 ¥40,363(本体¥36,694)
  • Wiley-ISTE(2011/08発売)
  • ポイント 1,830pt
  • 海外からお取り寄せ(通常6~9週間)
Models and Analysis for Distributed Systems
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Models and Analysis for Distributed Systems  Hardcover,  言語:ENG

Haddad, Serge (EDT)/ Kordon, Fabrice (EDT)/ Pautet, Laurent (EDT)/ Pet

  • ウェブストア価格 ¥40,363(本体¥36,694)
  • Wiley-ISTE(2011/08発売)
  • ポイント 1,830pt
  • 海外からお取り寄せ(通常6~9週間)
Reliable Software Technologies ADA-Europe 2007: 12th ADA-Europe International Conference on Reliable Software Technologies Geneva, Switzerland, June 25-29, 2007 Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Reliable Software Technologies ADA-Europe 2007: 12th ADA-Europe International Conference on Reliable Software Technologies Geneva, Switzerland, June 25-29, 2007 Proceedings (Lecture Notes in Computer Science)  言語:ENG

Abdennadher, Nabil (EDT)/ Kordon, Fabrice (EDT)

  • Springer(2007/01発売)
  • ご注文いただけません