Property-preserving Petri Net Process Algebra In Software Engineering
China) Hejiao (Harbin Inst Of Technology Shenzhen Graduate School Huang,
China) Li (Chinese Academy Of Sciences Jiao,
Hong Kong) To-yat (City Univ Of Hong Kong Cheung,
Michael Wai Ming (The Hong Kong Mak,
Hong Kong) Shanhai Banking Corp Ltd
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
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…
Zobrazit celý popis
Zobrazit celý popis
Výběr knih vydavatele
World Scientific Publishing Co Pte Ltd
Zobrazit všechny knihy vydavatele
World Scientific Publishing Co Pte Ltd
Naše tipy
- Právě probíhající akce a slevy na knihy
-
Knihydobrovsky.cz | do 20.05.2026
-
Knihydobrovsky.cz | do 31.05.2026
-
Knihydobrovsky.cz | do 31.05.2026
-
Knihydobrovsky.cz | do 30.06.2026
- zobrazit všechny akce
- Guy Prentiss Waters
- George Friel
- Andrew H. Kydd
- Frances Stonor Saunders
- Andrew O'Day
- Austin Sarat
- Carl J. Pfeiffer
- Peter (Author) Rossdale
- Paul Gaffarel
- Zhong-lin Wang
- P. H. Karmel
- John Myles White
- Alexander P. Kapustin
- Moses Edrehi
- Moji lidi
- Ian Gardiner
- Jennifer S. Holmes
- Shannon Lush
- S Yizhar
- Jennifer Jane Pope
- Patricia Bright
