A carregar...

Logic in computer science: Modelling and reasoning about systems

Detalhes bibliográficos
Autor principal:	Huth, Michael
Outros Autores:	Ryan, Mark
Formato:	Printed Book
Publicado em:	Cambridge University Press, Cambridge 2005
Assuntos:	Computer science

Registos relacionados