Property-preserving Petri Net Process Algebra In Software Engineering
Book Details
Format
Hardback or Cased Book
ISBN-10
9814324280
ISBN-13
9789814324281
Publisher
World Scientific Publishing Co Pte Ltd
Imprint
World Scientific Publishing Co Pte Ltd
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Mar 20th, 2012
Print length
320 Pages
Weight
592 grams
Dimensions
23.40 x 15.90 x 2.30 cms
Product Classification:
AlgebraSoftware Engineering
AI Summary
Ksh 18,000.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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).
Get Property-preserving Petri Net Process Algebra In Software Engineering by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by World Scientific Publishing Co Pte Ltd and it has pages.
Discover books you might love based on this title.
More in This Genre
The Character Theory of Finite Groups of Lie Type
Ksh 11,950.00
Security Standardisation Research
Ksh 7,200.00
Semigroups, Categories, and Partial Algebras
Ksh 17,800.00
DDoS Attacks
Ksh 18,900.00
Knowledge-Based Software Engineering: 2018
Ksh 23,400.00
Formal Methods for Dynamical Systems
Ksh 7,200.00
