Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Property-preserving Petri Net Process Algebra In Software Engineering
Engelsk Hardback
Se mere i:

Property-preserving Petri Net Process Algebra In Software Engineering

Engelsk Hardback

1.083 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

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 Net Process Algebra (PPPA).
Product detaljer
Sprog:
Engelsk
Sider:
320
ISBN-13:
9789814324281
Indbinding:
Hardback
Udgave:
ISBN-10:
9814324280
Kategori:
Udg. Dato:
20 mar 2012
Længde:
23mm
Bredde:
159mm
Højde:
234mm
Forlag:
World Scientific Publishing Co Pte Ltd
Oplagsdato:
20 mar 2012
Finder produkter...
Kategori sammenhænge