Property preserving Petri Net Process Algebra In Software Engineering

₩215,690
+ ₩37,149 배송
  • product image

Property preserving Petri Net Process Algebra In Software Engineering

  • 브랜드: Unbranded
판매자::

Property preserving Petri Net Process Algebra In Software Engineering

  • 브랜드: Unbranded

₩215,690

재고 있음
+ ₩37,149 배송

14일 반품 정책

판매자::

₩215,690

재고 있음
+ ₩37,149 배송

14일 반품 정책

결제 방법:

설명

Property preserving Petri Net Process Algebra In Software Engineering

In a component-based approach for system design one of the difficult problems is how to prove the correctness of the created components. This book offers a component-based methodology for the creation and verification of design specifications. The methodology is presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA).
  • 브랜드: Unbranded
  • 카테고리: Computing & Internet
  • 출판사/레이블: World Scientific Publishing Co Pte Ltd
  • 페이지 수: 320
  • 형식: Hardback
  • 언어: English
  • 출판일: 2023-07-01
  • 저자: Hejiao Huang (Harbin Inst Of Technology Shenzhen Graduate School China)
  • Fruugo ID: 480973919-1000214683
  • ISBN: 9789814324281

배달

6일 이내에 발송됨

  • STANDARD: ₩37,149 - 배달 사이 화 21 7월 2026–월 10 8월 2026

영국에서 발송.

보고

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

전체 반품 정책 보기