Property-preserving Petri Net Process Algebra In Software Engineering

Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China);Jiao, Li (Chinese Academy Of Sciences, China);Cheung, To-yat (City Univ Of Hong Kong, Hong Kong);Mak, Michael Wai Ming (The Hong Kong & Shanhai Banking Corp Ltd, Hong Kong) | Autoři

Vše od World Scientific Publishing Co Pte Ltd
ISBN: 9789814324281

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...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

2 938 Kč

1 - 2 ks
2 938 Kč
3 - 10 ks
2 909 Kč
11 a více ks
2 880 Kč

Naše cena 2 938 Kč je o 6 % nižší než
doporučená cena výrobce 3 125 Kč.

Předpoklad doručení do 29. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

2 938 Kč 3 125 Kč

Nepřehlédněte od World Scientific Publishing Co Pte Ltd

Více o produktu

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).

Výrobce
World Scientific Publishing Co Pte Ltd
Jazyk
Singapore
Autor
Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China);Jiao, Li (Chinese Academy Of Sciences, China);Cheung, To-yat (City Univ Of Hong Kong, Hong Kong);Mak, Michael Wai Ming (The Hong Kong & Shanhai Banking Corp Ltd, Hong Kong)
Rozměry
234 x 159 x 23
Rok vydání
2012
Počet stran
320
Obsah
Hardback
Hmotnost
592
Počet stran
320 pages

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Property-preserving Petri Net Process Algebra In Software Engineering a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!