{"product_id":"property-preserving-petri-net-process-algebra-in-software-engineering-world-scientific-publishing-co-pte-ltd-9789814324281-hejiao-huang","title":"Property-preserving Petri Net Process Algebra In Software Engineering","description":"\u003cp\u003eDiscover the innovative approach to system design in \"Property-preserving Petri Net Process Algebra In Software Engineering\" by Hejiao Huang. Published by World Scientific Publishing Co Pte Ltd in 2012, this hardback edition spans 320 pages and delves into the complexities of component-based methodologies. Huang addresses one of the key challenges in system design: proving the correctness of created components. This book introduces a robust framework known as Property-Preserving Petri Net Process Algebra (PPPA), which facilitates the creation and verification of design specifications. Ideal for software engineers and researchers alike, this insightful work combines theoretical foundations with practical applications, making it an essential addition to your library. Enhance your understanding of software engineering and elevate your design practices with this comprehensive guide.\u003c\/p\u003e","brand":"Hejiao Huang","offers":[{"title":"Default Title","offer_id":52231588970838,"sku":"9789814324281","price":121.25,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789814324281.jpg?v=1767748508","url":"https:\/\/www.englishbook.fi\/products\/property-preserving-petri-net-process-algebra-in-software-engineering-world-scientific-publishing-co-pte-ltd-9789814324281-hejiao-huang","provider":"Bookshop","version":"1.0","type":"link"}