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