The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥21,464(本体¥19,513)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 195pt
  • 海外取次在庫
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥10,730(本体¥9,755)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 97pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
遺伝子資源と伝統的知識:事例研究と利害対立<br>Genetic Resources and Traditional Knowledge : Case Studies and Conflicting Interests (Elgar Intellectual Property and Global Development series)
  • 洋書

遺伝子資源と伝統的知識:事例研究と利害対立
Genetic Resources and Traditional Knowledge : Case Studies and Conflicting Interests (Elgar Intellectual Property and Global Development series)
 Paperback,  言語:ENG

Bubela, Tania (EDT)/ Gold, E. Richard (EDT)

  • ウェブストア価格 ¥10,263(本体¥9,330)
  • Edward Elgar Publishing Ltd(2013/09発売)
  • ポイント 93pt
  • 海外からお取り寄せ(通常6~9週間)
遺伝子資源と伝統的知識:事例研究と利害対立<br>Genetic Resources and Traditional Knowledge : Case Studies and Conflicting Interests (Elgar Intellectual Property and Global Development series)
  • 洋書

遺伝子資源と伝統的知識:事例研究と利害対立
Genetic Resources and Traditional Knowledge : Case Studies and Conflicting Interests (Elgar Intellectual Property and Global Development series)
 Hardcover,  言語:ENG

Bubela, Tania (EDT)/ Gold, E. Richard (EDT)

  • ウェブストア価格 ¥34,516(本体¥31,379)
  • Edward Elgar Publishing Ltd(2012/03発売)
  • ポイント 313pt
  • 海外からお取り寄せ(通常6~9週間)