Recomienda este artículo a tus amigos:
Property-preserving Petri Net Process Algebra In Software Engineering Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China)
Precio
Mex$ 2.230
sin IVA
Pedido desde almacén remoto
Entrega prevista 18 de ago. - 3 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Property-preserving Petri Net Process Algebra In Software Engineering
Huang, Hejiao (Harbin Inst 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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 20 de marzo de 2012 |
| ISBN13 | 9789814324281 |
| Editores | World Scientific Publishing Co Pte Ltd |
| Páginas | 320 |
| Dimensiones | 159 × 234 × 23 mm · 592 g |
| Editor | Huang, Hejiao |
| Editor | Jiao, Li |
