Formal Methods For Executable Software Models 14th International School On Forma

₩109,490
+ ₩51,149 배송

Formal Methods For Executable Software Models 14th International School On Forma

판매자::
  • product image

₩109,490

재고 있음
+ ₩51,149 배송

14일 반품 정책

결제 방법:

제품 상세 정보

제품 상세 정보

Formal Methods For Executable Software Models 14th International School On Forma

This Book Presents 8 Tutorial Lectures Given By Leading Researchers At The 14th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2014, Held In Bertinoro, Italy, In June 2014.sfm 2014 Was Devoted To Executable Software Models And Covered Topics Such As Variability Models, Automated Analysis Techniques, Deductive Verification, And Runtime Assessment And Testing. The Papers Collected In The Two Parts (first Part: Modeling And Verification; Second Part: Run-time Assessment And Testing) Of This Volume Represent The Broad Range Of Topics Of The School.
  • 브랜드: Springer Nature B.V
  • 카테고리: Computing & Internet
  • 출판사/레이블: Springer Nature B.V
  • 페이지 수: 352
  • 형식: Paperback
  • 언어: English
  • 출판일: 2014-05-21
  • 저자: Springer Nature B.V
  • Fruugo ID: 557209699-1125479133
  • ISBN: 9783319073163
배송

배달

24시간 이내에 발송됨

  • STANDARD: ₩51,149 - 배달 사이 월 09 11월 2026–월 07 12월 2026

영국에서 발송.

반품

보고

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

전체 반품 정책 보기