Property-preserving Petri Net Process Algebra In Software Engineering - Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China) - Books - World Scientific Publishing Co Pte Ltd - 9789814324281 - March 20, 2012
In case cover and title do not match, the title is correct

Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China)
Property-preserving Petri Net Process Algebra In Software Engineering

Price
$ 124.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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).

350 pages, Illustrationsstration

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 20, 2012
ISBN13 9789814324281
Publishers World Scientific Publishing Co Pte Ltd
Pages 320
Dimensions 159 × 234 × 23 mm   ·   592 g
Editor Huang, Hejiao
Editor Jiao, Li

Mere med samme udgiver

See all of Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China) ( e.g. Hardcover Book )