Pastāsti draugiem par šo preci:
Property-preserving Petri Net Process Algebra in Software Engineering Huang, Hejiao (Harbin Institute of Technology Shenzhen Graduate School, China)
Cena
€ 120,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 11. - 19. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Huang, Hejiao (Harbin Institute of Technology Shenzhen Graduate School, China) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Property-preserving Petri Net Process Algebra in Software Engineering
Huang, Hejiao (Harbin Institute of Technology Shenzhen Graduate School, China)
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2012. gada 20. marts |
| ISBN13 | 9789814324281 |
| Izdevēji | World Scientific Publishing Co Pte Ltd |
| Lapas | 320 |
| Izmēri | 159 × 234 × 23 mm · 592 g |
| Redaktors | Huang, Hejiao |
| Redaktors | Jiao, Li |
![Cover for Dash, Jan W (J Dash Consultants, LLC, USA) · Quantitative Finance, Climate Change, and Risk Management: a Physicist's Approach (Hardcover Book) [Third edition] (2027)](https://imusic.b-cdn.net/images/item/original/358/9789819821358.jpg?dash-jan-w-j-dash-consultants-llc-usa-2027-quantitative-finance-climate-change-and-risk-management-a-physicist-s-approach-hardcover-book&class=scaled&v=1779094136)
