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:
3540111603
ISBN 13:
9783540111603
Серії:
Lecture Notes in Computer Science 125
Файл:
DJVU, 2.55 MB
IPFS:
,
english, 1981
Скачування цієї книги недоступне за скаргою правовласника