Property-preserving Petri Net Process Algebra In Software Engineering

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
a najít nejvýhodnější cenu za celou objednávku
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.
Property-preserving Petri Net Process Algebra In Software Engineering koupíte na Bookshop.cz
Bookshop.cz
2 938 Kč
Není skladem
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 Property-Preserving Petri Net Process Algebra (PPPA).
Výběr knih vydavatele World Scientific Publishing Co Pte Ltd
Kniha "Thermodynamic" Universe, The: Exploring The Limits Of Physics

"Thermodynamic" Universe, The: Exploring The Limits Of Physics

  Chci koupit
Kniha 100 Years Of Relativity: Space-time Structure

100 Years Of Relativity: Space-time Structure

  Chci koupit
Kniha 2-d Quadratic Maps And 3-d Ode Systems: A Rigorous Approach

2-d Quadratic Maps And 3-d Ode Systems: A Rigorous Approach

  Chci koupit
Kniha (1+ 1)-nonlinear Universe Of The Parabolic Map And Combinatorics, The

(1+ 1)-nonlinear Universe Of The Parabolic Map And Combinatorics, The

  Chci koupit
Kniha 100 Inspiring Rafflesians, 1823-2003

100 Inspiring Rafflesians, 1823-2003

  Chci koupit
Kniha 100 Challenges In Cardiology

100 Challenges In Cardiology

  Chci koupit
Kniha 100 Diagnostic Challenges In Clinical Medicine

100 Diagnostic Challenges In Clinical Medicine

  Chci koupit
Zobrazit všechny knihy vydavatele World Scientific Publishing Co Pte Ltd
Naše tipy
Kniha Nečekané odhalení

Nečekané odhalení

Cena od 318 Kč

  Chci koupit
Kniha Pan Úžasný

Pan Úžasný

Cena od 357 Kč

  Chci koupit
Kniha Pod jiným jménem

Pod jiným jménem

Cena od 397 Kč

  Chci koupit
Kniha Divocí sekáči

Divocí sekáči

Cena od 239 Kč

  Chci koupit
Hunting Adeline: Hon na Adeline
Hunting Adeline: Hon na Adeline
Carlton H. D.
  Chci koupit
„Kdyby zemřela… zemřel by s ní celý svět.“To nejhorší, co Adeline Reillyová od života čekala, bylo pár neklidných duchů v chodbách sídla Parsons – rozhodně ne to, že se zamiluje do svého stalkera a skončí v rukou obchodníků s lidmi.Uvězněná v domě, kde jsou ženy připravovány pro potěšení elity, čelí dosud největšímu boji svého života – musí přežít Odstřel a utéct. Jenže to není tak snadné, když na ni neustále dohlížejí oči, které ji touží vidět selhat. Přesto má možná Adeline nepravděpodobného spojence, který by mohl být klíčem k jejímu přežití.Ale důvěřovat mu je risk, který ji může stát úplně všechno.Zade mezitím neustane, dokud Adeline nebude zpátky v bezpečí jeho náruče, i kdyby kvůli tomu měl zapálit celý svět. Lovit svou myšku je to, co umí nejlépe, ale žena, kterou bude, až ji najde, je možná větší sousto, než dokáže zvládnout.Nejtěžší zkouškou jejich vztahu nebude čas, ale vzpomínky na to, kým bývali.