To-Yat Cheung – författare

Visar alla böcker från författaren To-Yat Cheung. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Database Reengineering and Interoperability

   Proceedings of the Sixth International Hong Kong Computer Database Workshop Held in Kowloon, Hong Kong, March 3-4, 1995

   Av To-Yat Cheung, Joseph Fong m. fl.

   Inbunden, 1996

   875 kr

   Lägg i varukorg

2. 

   PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

   Av Hejiao Huang, Li Jiao m. fl.

   Inbunden, 2012

   1604 kr

   Lägg i varukorg

   In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct — possessing the desirable properties and free from undesirable ones. However, the operators …