Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, France, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6528〉
  • 洋書
  • ポイントキャンペーン

Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, France, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6528〉  Paperback,  言語:ENG

Beckert, B. (EDT)/ Marche, C. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2011/02発売)
  • ポイント 545pt
  • 海外取次在庫
Deductive Software Verification - the KeY Book : From Theory to Practice (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Deductive Software Verification - the KeY Book : From Theory to Practice (Lecture Notes in Computer Science)  Paperback

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

  • ウェブストア価格 ¥28,369(本体¥25,790)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 1,285pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tests and Proofs : Second International Conference, TAP 2008 (Lecture Notes in Computer Science) 〈Vol. 4966〉
  • 洋書
  • ポイントキャンペーン

Tests and Proofs : Second International Conference, TAP 2008 (Lecture Notes in Computer Science) 〈Vol. 4966〉  Paperback,  言語:ENG

Beckert, B. (EDT)/ Hähnle, R. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2008/04発売)
  • ポイント 545pt
  • 海外取次在庫
19世紀アメリカのブルジョワ<br>The American Bourgeoisie : Distinction and Identity in the Nineteenth Century (Palgrave Studies in Cultural and Intellectual History)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

19世紀アメリカのブルジョワ
The American Bourgeoisie : Distinction and Identity in the Nineteenth Century (Palgrave Studies in Cultural and Intellectual History)
 Hardcover,  言語:ENG

Beckert, Sven (EDT)/ Rosenbaum, Julia B. (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Palgrave Macmillan(2010/12発売)
  • ポイント 1,090pt
  • 海外取次在庫