Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China) Huang,
Li (Chinese Academy Of Sciences, China) Jiao,
To-yat (City Univ Of Hong Kong, Hong Kong) Cheung,
Michael Wai Ming (The Hong Kong & Shanhai Banking Corp Ltd, Hong Kong) Mak
e.a.
Property-preserving Petri Net Process Algebra In Software Engineering
Gebonden EN 2012 9789814324281
Verwachte levertijd ongeveer 16 werkdagen
Samenvatting
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).
Specificaties
ISBN13:9789814324281
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:320
Uitgever:World Scientific Publishing Co Pte Ltd
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan