A carregar...

Logic in computer science Modelling and reasoning about systems /

Detalhes bibliográficos
Autor principal: Huth, Michael
Outros Autores: Ryan , Mark
Idioma:Undetermined
Publicado em: Cambridge Univeristy Press , 2004.
Edição:2nd ed.
Assuntos:

University of Kerala

Detalhes do Exemplar University of Kerala
Área/Cota: D651:(R1) P4
Cód. Barras: Informação em tempo real indisponível