Reactive Systems : Modelling, Specification and Verification
  • 洋書
  • ポイントキャンペーン

Reactive Systems : Modelling, Specification and Verification  Hardcover,  言語:ENG

Aceto, Luca/ Ingólfsdóttir, Anna/ Larsen, Kim Guldstrand

  • ウェブストア価格 ¥26,537(本体¥24,125)
  • Cambridge University Press(2007/08発売)
  • ポイント 482pt
  • 海外取次在庫
Foundations of Software Science and Computational Structures (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Foundations of Software Science and Computational Structures (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Aceto, Luca (EDT)/ Ingolfsdottir, Anna (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag New York Inc(2006/05発売)
  • ポイント 212pt
  • 海外取次在庫
Percorsi evolutivi della responsabilità civile nel sistema ordinamentale italo-europeo (Il diritto civile comparato 3) 〈3〉
  • 洋書
  • ポイントキャンペーン

Percorsi evolutivi della responsabilità civile nel sistema ordinamentale italo-europeo (Il diritto civile comparato 3) 〈3〉

Aceto di Capriglia, Salvatore/ De Luca, Federica

  • ウェブストア価格 ¥18,223(本体¥16,567)
  • Edizioni scientifiche italiane(2021発売)
  • ポイント 330pt
  • お取り寄せ
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Aceto, Luca (EDT)/ Bacci, Giorgio (EDT)/ Bacci, Giovanni (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。