Turing Tales
  • 洋書
  • ポイントキャンペーン

Turing Tales  Paperback

Daylight, Edgar G./ Boute, Raymond/ Fleck, Arthur C.

  • ウェブストア価格 ¥5,266(本体¥4,788)
  • Lonely Scholar(2016/12発売)
  • ポイント 235pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Development of a Network-Centric RTOS : Software Engineering for Reliable Embedded Systems (2011)
  • 洋書
  • ポイントキャンペーン

Formal Development of a Network-Centric RTOS : Software Engineering for Reliable Embedded Systems (2011)  Paperback,  言語:ENG

Verhulst, Eric/ Boute, Raymond T./ Faria, José Miguel Sampaio

  • Springer-Verlag New York Inc.(2014/10発売)
  • ご注文いただけません
Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science Vol.3294) (2004. X, 249 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science Vol.3294) (2004. X, 249 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by C. N. Dean and Raymond T. Boute

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 640pt
  • 海外取次在庫