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