Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2020)
  • 洋書

Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2020)  Paperback,  言語:ENG

Leitner, Andrea (EDT)/ Watzenig, Daniel (EDT)/ Ibanez-Guzman, Javier (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 190pt
  • 海外取次在庫
Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2019. xi, 320 S. XI, 320 p. 143 illus., 132 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2019. xi, 320 S. XI, 320 p. 143 illus., 132 illus. in color. 235 mm)  Hardcover

Herausgegeben von Leitner, Andrea/ Watzenig, Daniel/ Ibanez-Guzman, Javier

  • ウェブストア価格 ¥31,945(本体¥29,041)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2019発売)
  • ポイント 290pt
  • 海外取次在庫