Загрузка...

Logic in computer science: Modelling and reasoning about systems

Библиографические подробности
Главный автор: Huth, Michael
Другие авторы: Ryan, Mark
Формат: Printed Book
Опубликовано: Cambridge University Press, Cambridge 2005
Предметы: