Functional Data Structures and Algorithms : A Proof Assistant Approach
  • 洋書
  • ポイントキャンペーン

Functional Data Structures and Algorithms : A Proof Assistant Approach  Hardcover,  言語:ENG

Nipkow, Tobias

  • ウェブストア価格 ¥15,690(本体¥14,264)
  • Association of Computing Machinery,U.S.(2025/09発売)
  • ポイント 284pt
  • 海外取次在庫
Functional Data Structures and Algorithms : A Proof Assistant Approach
  • 洋書
  • ポイントキャンペーン

Functional Data Structures and Algorithms : A Proof Assistant Approach  Paperback,  言語:ENG

Nipkow, Tobias

  • ウェブストア価格 ¥11,503(本体¥10,458)
  • Association of Computing Machinery,U.S.(2025/09発売)
  • ポイント 208pt
  • 国内在庫(僅少)
Concrete Semantics : With Isabelle/HOL
  • 洋書
  • ポイントキャンペーン

Concrete Semantics : With Isabelle/HOL  Paperback,  言語:ENG

Nipkow, Tobias/ Klein, Gerwin

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 218pt
  • 海外取次在庫
FM 2006: Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer S
  • 洋書
  • ポイントキャンペーン

FM 2006: Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer S  Paperback,  言語:ENG

Misra, Jayadev (EDT)/ Nipkow, Tobias (EDT)/ Sekerinski, Emil (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 438pt
  • 海外取次在庫
Automated Reasoning : Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 (Lecture Notes in Computer Sc
  • 洋書
  • ポイントキャンペーン

Automated Reasoning : Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 (Lecture Notes in Computer Sc  Paperback,  言語:ENG

Gore, Rajeev (EDT)/ Leitsch, Alexander (EDT)/ Nipkow, Tobias (EDT)

  • Springer Verlag(2001/08発売)
  • ご注文いただけません