Reset Filters
Author: Liu,Zhiming

Author Results for Liu Zhiming 1961-

Liu,Zhiming,
SpringerLink (Online service)
Woodcock,Jim
(Cliff B.),
He,Jifeng,
see all »
International Conference on Formal Engineering Methods,Macau, China)
Jones,C. B.
(Dines),
ATVA 2009,Macau, China)
Araki,Keijir?o,

1
Mathematical frameworks for component software models for analysis and synthesis

Cover is for reference only
Group Author: Liu Zhiming 1961-; He Jifeng 1943-
Published: World Scientific,
Publication Dates: c2006.
Call Number: TP311/M426
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —