Hardback
Add to list Added to list Property-preserving Petri Net Process Algebra In Software Engineering
Hejiao Huang (Harbin Inst Of Technology Shenzhen Graduate School, China),Li Jiao (Chinese Academy Of Sciences, China),To-yat Cheung (City Univ Of Hong Kong, Hong Kong),Michael Wai Ming Mak (The Hong Kong & Shanhai Banking Corp Ltd, Hong Kong)
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…
Available to order, ships in 7-14 daysAvailable to order