Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)Категорії:
Рік:
1984
Видання:
1
Видавництво:
Springer-Verlag Berlin Heidelberg
Мова:
english
Сторінки:
531
ISBN 10:
3540128964
ISBN 13:
9783540128960
Серії:
Lecture Notes in Computer Science 164
Файл:
DJVU, 5.98 MB
IPFS:
,
english, 1984
Скачування цієї книги недоступне за скаргою правовласника