Carregant...

Logic in computer science Modelling and reasoning about systems /

Dades bibliogràfiques
Autor principal: Huth, Michael
Altres autors: Ryan , Mark
Idioma:Undetermined
Publicat: Cambridge Univeristy Press , 2004.
Edició:2nd ed.
Matèries:

University of Kerala

Detall dels fons de University of Kerala
Signatura: D651:(R1) P4
Còpia Comprovació en temps real no disponible