Wai Ming Mak – författare
Visar alla böcker från författaren Wai Ming Mak. Handla med fri frakt och snabb leverans.
1 produkter
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 …
