Search results for ‘Hejiao Huang (Harbin Inst Of Technology Shenzhen Graduate School, China),Li Jiao (Chinese Academy Of Sciences, China),To-yat Cheung (City Univ Of Hong Kong, Hong Kong),Michael Wai Ming Mak (The Hong Kong & Shanhai Banking Corp Ltd, Hong Kong)’

Filter & Refine

      Cover image for Property-preserving Petri Net Process Algebra In Software Engineering
      Hardback
      Add to list Added to list

      Property-preserving Petri Net Process Algebra In Software Engineering

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

      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…

      $258.99

      Available to order, ships in 7-14 daysAvailable to order