First-Order Dynamic Logic
David Harel (eds.)Категорії:
Рік:
1979
Видання:
1
Видавництво:
Springer-Verlag Berlin Heidelberg
Мова:
english
Сторінки:
136
ISBN 10:
3540092374
ISBN 13:
9783540092377
Серії:
Lecture Notes in Computer Science 68
Файл:
DJVU, 1.19 MB
IPFS:
,
english, 1979
Скачування цієї книги недоступне за скаргою правовласника