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

  • ウェブストア価格 ¥21,621(本体¥19,656)
  • now publishers Inc(2018/03発売)
  • ポイント 196pt
  • 海外からお取り寄せ(通常6~9週間)
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)
  • 洋書
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 109pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 109pt
  • 海外取次在庫