اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende...

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

Beware of he who would deny you access to information, for in his heart he dreams himself your master

Pravin Lal

مهمي جملي