Logic of Programs: Workshop, ETH Zürich, May–July 1979
Dexter Kozen (auth.), Erwin Engeler (eds.)Категорії:
Рік:
1981
Видання:
1
Видавництво:
Springer-Verlag Berlin Heidelberg
Мова:
english
Сторінки:
245
ISBN 10:
3540386319
ISBN 13:
9783540386315
Серії:
Lecture Notes in Computer Science 125
Файл:
PDF, 5.78 MB
IPFS:
,
english, 1981
Скачування цієї книги недоступне за скаргою правовласника