1～3件／全3件 セーフサーチON
  •  
Concurrency Verification : Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
  • 洋書

Concurrency Verification : Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)  Paperback,  言語：ENG

Roever, Willem-Paul de/ Boer, Frank de/ Hanneman, Ulrich

  • ウェブストア価格 ¥20,071（本体¥18,247）
  • Cambridge University Press（2012/01発売）
  • ポイント 182pt
  • 海外取次在庫
Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA (Ifip Advances in Information and Communication Technology
  • 洋書

Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA (Ifip Advances in Information and Communication Technology  Paperback,  言語：ENG

Gries, David (EDT)/ de Roever, Willem-Paul (EDT)

  • ウェブストア価格 ¥44,602（本体¥40,548）
  • Springer-Verlag New York Inc.（2013/01発売）
  • ポイント 405pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Data Refinement : Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
  • 洋書

Data Refinement : Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)  Paperback,  言語：ENG

de Roever, Willem-Paul/ Engelhardt, Kai

  • ウェブストア価格 ¥14,394（本体¥13,086）
  • Cambridge University Press（2008/12発売）
  • ポイント 130pt
  • 海外取次在庫
1～3件／全3件
  •