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
د دې کتاب ډاونلوډ کول د کاپي حق لرونکي د شکایت له امله ممکن نه دئ