Software Verification And Formal Methods For Ml-enabled Autonomous Systems 5th I - Springer Nature B.V

₩125,790
+ ₩28,399 배송
  • product image

Software Verification And Formal Methods For Ml-enabled Autonomous Systems 5th I - Springer Nature B.V

  • 브랜드: Unbranded
판매자::

Software Verification And Formal Methods For Ml-enabled Autonomous Systems 5th I - Springer Nature B.V

  • 브랜드: Unbranded

₩125,790

재고 있음
+ ₩28,399 배송

14일 반품 정책

판매자::

₩125,790

재고 있음
+ ₩28,399 배송

14일 반품 정책

결제 방법:

설명

Software Verification And Formal Methods For Ml-enabled Autonomous Systems 5th I - Springer Nature B.V

This Book Constitutes The Refereed Proceedings Of The 5th International Workshop On Software Verification And Formal Methods For Ml-enables Autonomous Systems, Fomlas 2022, And The 15th International Workshop On Numerical Software Verification, Nsv 2022, Which Took Place In Haifa, Israel, In Julyaugust 2022.the Volume Contains 8 Full Papers From The Fomlas 2022 Workshop And 3 Full Papers From The Nsv 2022 Workshop. The Fomlas Workshop Is Dedicated To The Development Of Novel Formal Methodstechniques To Discussing On How Formal Methods Can Be Used To Increase Predictability, Explainability, And Accountability Of Ml-enabledautonomous Systems. Nsv 2022 Is Focusing On The Challenges Of The Verification Of Cyber-physical Systems With Machine Learning Components.
  • 브랜드: Unbranded
  • 카테고리: Computing & Internet
  • 출판사/레이블: Springer Nature B.V
  • 페이지 수: 216
  • 형식: Paperback
  • 언어: English
  • 저자: Springer Nature B.V
  • Fruugo ID: 413811404-874470181
  • ISBN: 9783031212215

배달

24시간 이내에 발송됨

  • STANDARD: ₩28,399 - 배달 사이 화 28 7월 2026–월 03 8월 2026

영국에서 발송.

보고

당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다.

전체 반품 정책 보기