Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Cimatti, Alessandro (EDT)/ Titolo, Laura (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 133pt
  • 海外取次在庫
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Cimatti, Alessandro (EDT)/ Sirjani, Marjan (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) (2012. 2012. XIV, 500 S. 235 mm)
  • 洋書

Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) (2012. 2012. XIV, 500 S. 235 mm)  Paperback

Herausgegeben von Cimatti, Alessandro/ Sebastiani, Roberto

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 121pt
  • 海外取次在庫
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
  • 洋書

Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Cimatti, Alessandro (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 104pt
  • 海外取次在庫