LNCS 8051 - Theories of Programming and Formal Methods
Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)
Theories of Programming and Formal Methods
年:
2013
语言:
english
ISBN 10:
3642396984
ISBN 13:
9783642396984
文件:
PDF, 5.68 MB
IPFS:
,
english, 2013