Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Herbert Stoyan (auth.)カテゴリー:
年:
1984
版:
1
出版社:
Springer-Verlag Berlin Heidelberg
言語:
german
ページ:
368
ISBN 10:
3662085259
ISBN 13:
9783662085257
シリーズ:
Informatik-Fachberichte 91
ファイル:
PDF, 6.83 MB
IPFS:
,
german, 1984
この書籍は、著作権所有者のクレームによりダウンロードできません。