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,387(本体¥8,534)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 85pt
  • オンデマンド(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

  • ウェブストア価格 ¥11,786(本体¥10,715)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 107pt
  • オンデマンド(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

  • ウェブストア価格 ¥37,331(本体¥33,938)
  • Iste/Hermes Science Pub(2013/05発売)
  • ポイント 339pt
  • 海外からお取り寄せ(通常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)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer(2010/10発売)
  • ポイント 209pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer(2009/06発売)
  • ポイント 104pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer(2007/03発売)
  • ポイント 104pt
  • 海外取次在庫
Distibuted Systems : Design and Algorithms
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥38,800(本体¥35,273)
  • Wiley-ISTE(2011/08発売)
  • ポイント 352pt
  • 海外からお取り寄せ(通常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

  • ウェブストア価格 ¥38,800(本体¥35,273)
  • Wiley-ISTE(2011/08発売)
  • ポイント 352pt
  • 海外からお取り寄せ(通常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)
  • 洋書