Загрузка...

Logic in computer science Modelling and reasoning about systems /

Библиографические подробности
Главный автор: Huth, Michael
Другие авторы: Ryan , Mark
Язык:Undetermined
Опубликовано: Cambridge Univeristy Press , 2004.
Редактирование:2nd ed.
Предметы:

University of Kerala

Подробно о фондах из University of Kerala
Шифр: D651:(R1) P4
Копировать Недоступно состояние Live" What does mean the status Live (working)