Foundations of Software Science and Computation Structures, 19 conf., FOSSACS 2016
Bart Jacobs, Christof Löding种类:
年:
2016
出版社:
Springer
语言:
english
页:
548
ISBN 10:
3662496305
ISBN 13:
9783662496305
系列:
Springer Lecture notes in computer science 9634
文件:
PDF, 6.74 MB
IPFS:
,
english, 2016