Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Programming and Software Engineering)

個数：
  • ポイントキャンペーン

Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Programming and Software Engineering)

  • オンデマンド(OD/POD)版です。キャンセルは承れません。
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Paperback:紙装版/ペーパーバック版／ページ数 193 p.
  • 言語 ENG
  • 商品コード 9783030873479
  • DDC分類 005.3

Full Description

His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.

最近チェックした商品

Gott mehr gehorchen als den Menschen : Christliche Wurzeln, Zeitgeschichte und Gegenwart des Widerstands
  • 洋書
Gott mehr gehorchen…
Essay upon Civil Government : Is Set Forth, the Necessity, Origine, Rights, Boundaries, and Different Forms of -- Hardback
  • 洋書
Essay upon Civil Go…
Von Gott kommt mir Hilfe, 2019 : Eine Deutung der Jahreslosung und der Monatssprüche für das Jahr 2019 （2018. 96 S. 206 x 122 mm）
  • 洋書
Von Gott kommt mir …
Mastering Media Literacy (Contemporary Perspectives on Literacy)
  • 洋書
Mastering Media Lit…
ライファーズ - 罪に向きあう
  • 和書
ライファーズ - 罪に向きあう