Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
Heinz Zemanek (auth.), Dines Bjøorner (eds.)カテゴリー:
年:
1980
版:
1
出版社:
Springer-Verlag Berlin Heidelberg
言語:
english
ページ:
572
ISBN 10:
3540381368
ISBN 13:
9783540381365
シリーズ:
Lecture Notes in Computer Science 86
ファイル:
PDF, 10.72 MB
IPFS:
,
english, 1980