Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985
J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)年:
1986
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
249
ISBN 10:
3540164448
ISBN 13:
9783540164449
系列:
Lecture Notes in Computer Science 215
文件:
DJVU, 2.88 MB
IPFS:
,
english, 1986
因版权方投诉,本书无法下载