Algebra
Se alle bogdetaljer →
Property-preserving Petri Net Process Algebra In Software Engineering
Udgivet af World Scientific Publishing Co Pte Ltd
ISBN
9789814324281
Om denne bog
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…
Boghandelspriser
| Boghandel | Titel | Format | ISBN | Pris | Lagerstatus | Levering | |
|---|---|---|---|---|---|---|---|
Ingen boghandelstilbud endnuVi har titlen i kataloget. Priser vises her, når boghandlere lister den. |
|||||||
5
0
4
0
3
0
2
0
1
0
0%
Anbefaler
0
Verificeret
Ingen anmeldelser endnu
Bogdetaljer
Forfatter
To-yat Cheung, Michael Wai Ming Mak, Li Jiao, Hejiao Huang
Forlag
World Scientific Publishing Co Pte Ltd
Kategori
Algebra
ISBN-13
9789814324281
EAN
9789814324281
Format
Indbundet
Sprog
Engelsk
sider
320
Produktbeskrivelse
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).
Prishistorik
Indlæser prishistorik...