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.
World Scientific Publishing Co Pte Ltd
e druk, 2012
9789814324281
Property-preserving Petri Net Process Algebra In Software Engineering
Specificaties
Gebonden, 320 blz.
|
EN
World Scientific Publishing Co Pte Ltd |
e druk, 2012
ISBN13: 9789814324281
Rubricering
Juridisch
:
Levertijd ongeveer 16 werkdagen
Gratis verzonden
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
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht