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
因版权方投诉,本书无法下载