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
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.
