Main image
Click to view image in fullscreen
![]()
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).
1 060,00 DH
Sur commande
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).
| ISBN / EAN | 9789814324281 |
|---|---|
| Auteur | Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China) |
| Editeur | World Scientific Publishing Co Pte Ltd |