Logic in computer science:modelling and reasoning about systems

Na minha lista:
Detalhes bibliográficos
Autor principal: Huth, Michael
Outros Autores: Ryan, Mark
Idioma:inglês
Publicado em: Cambridge CUP 2005
Edição:2nd ed.
Assuntos:
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!