Handbook of logic in computer Science
por Edited by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Publicado por : Clarendon Press , 1994 Detalhes físicos: XV, 490 p. 24 cm ISBN:0-19-853762-X.Tipo de documento | Localização | Cota | Estado | Data de devolução |
---|---|---|---|---|
Monografia | Biblioteca da ESTiG-IPB Sala de Leitura | 519.6-1/HAN/HAN (Ver prateleira) | Disponível |
Vol. 3 : Semantic structures
Não há comentários disponíveis sobre este título.