Conte aos seus amigos sobre este item:
Property-preserving Petri Net Process Algebra in Software Engineering Huang, Hejiao (Harbin Institute of Technology Shenzhen Graduate School, China)
Preço
R$ 669,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Huang, Hejiao (Harbin Institute of Technology Shenzhen Graduate School, China)
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 20 de março de 2012 |
| ISBN13 | 9789814324281 |
| Editoras | World Scientific Publishing Co Pte Ltd |
| Páginas | 320 |
| Dimensões | 159 × 234 × 23 mm · 592 g |
| Editor | Huang, Hejiao |
| Editor | Jiao, Li |
![Cover for Marsh, Gerald E (Argonne National Laboratory (Retired), USA) · Force-free Magnetic Fields: Solutions, Topology and Applications (Hardcover Book) [Second edition] (2026)](https://imusic.b-cdn.net/images/item/original/948/9789819833948.jpg?marsh-gerald-e-argonne-national-laboratory-retired-usa-2026-force-free-magnetic-fields-solutions-topology-and-applications-hardcover-book&class=scaled&v=1786981299)