Contracts for System Design (Foundations and Trends in Electronic Design Automation)
  • 洋書

Contracts for System Design (Foundations and Trends in Electronic Design Automation)  Paperback,  言語:ENG

Benveniste, Albert/ Caillaud, Benoit/ Nickovic, Dejan

  • ウェブストア価格 ¥19,529(本体¥17,754)
  • now publishers Inc(2018/03発売)
  • ポイント 177pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7595) (2012. 2012. X, 267 S. 235 mm)
  • 洋書
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)  Paperback

ter Beek, Maurice H. (EDT)/ Ničković, Dejan (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 103pt
  • 海外取次在庫
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Deshmukh, Jyotirmoy (EDT)/ Ničković, Dejan (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 103pt
  • 海外取次在庫