Turing Tales
  • 洋書

Turing Tales  Paperback

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

  • ウェブストア価格 ¥4,998(本体¥4,544)
  • Lonely Scholar(2016/12発売)
  • ポイント 45pt
  • オンデマンド(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

  • ウェブストア価格 ¥24,964(本体¥22,695)
  • Springer-Verlag New York Inc.(2014/10発売)
  • ポイント 226pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫