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
Скачування цієї книги недоступне за скаргою правовласника
Beware of he who would deny you access to information, for in his heart he dreams himself your master
Конвертуйте файли
Більше результатів пошуку
Інші переваги 
