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

  • ウェブストア価格 ¥21,884（本体¥19,895）
  • Cambridge University Press（2012/01発売）
  • ポイント 198pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥15,694（本体¥14,268）
  • Cambridge University Press（2008/12発売）
  • ポイント 142pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥48,629（本体¥44,209）
  • Springer-Verlag New York Inc.（2013/01発売）
  • ポイント 442pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •