Property-preserving Petri Net Process Algebra In Software Engineering
de Hejiao Huang
- Nuevo
- Tapa dura
- Estado
- Nuevo
- ISBN 10
- 9814324280
- ISBN 13
- 9789814324281
- Librería
-
Southport, Merseyside, United Kingdom
10 copias disponibles en esta librería
(Puedes añadir más en el área de pago.)
Formas de pago aceptadas
Sobre este artículo
Hardback. New. 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).
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- The Saint Bookstore (GB)
- Inventario del vendedor #
- A9789814324281
- Título
- Property-preserving Petri Net Process Algebra In Software Engineering
- Autor
- Hejiao Huang
- Formato/Encuadernación
- Hardback
- Estado del libro
- Nuevo
- Cantidad disponible
- 10
- Encuadernación
- Tapa dura
- ISBN 10
- 9814324280
- ISBN 13
- 9789814324281
- Editorial
- World Scientific Publishing Company
- Primera fecha de publicación de esta edición
- 2012-03
Términos de venta
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
Sobre el vendedor
The Saint Bookstore
Miembro de Biblio desde 2018
Southport, Merseyside
Sobre The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...