Загрузка...

Logics of programs

Библиографические подробности
Главный автор: rohit Parikh
Формат: Printed Book
Язык:English
Опубликовано: Springer-Verlag 1985