1～3件／全3件 セーフサーチON
  •  
Formal Methods : An Appetizer
  • 洋書

Formal Methods : An Appetizer  Hardcover,  言語：ENG

Nielson, Flemming/ Riis Nielson, Hanne

  • Springer Nature Switzerland AG（2019/07発売）
  • ご注文いただけません
Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 201
  • 洋書
  • 電子版あり

Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 201  Paperback

Riis Nielson, Hanne (EDT)/ Tuosto, Emilio (EDT)

  • ウェブストア価格 ¥11,922（本体¥10,839）
  • Springer Nature Switzerland AG（2019/06発売）
  • ポイント 108pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
応用を伴うセマンティクス<br>Semantics with Applications : An Appetizer (Undergraduate Topics in Computer Science)
  • 洋書

応用を伴うセマンティクス
Semantics with Applications : An Appetizer (Undergraduate Topics in Computer Science)  Paperback,  言語：ENG

Nielson, Hanne Riis/ Nielson, Flemming

  • ウェブストア価格 ¥9,746（本体¥8,860）
  • Springer（2007/04発売）
  • ポイント 88pt
  • 海外取次在庫
1～3件／全3件
  •