Logic in computer science:modelling and reasoning about systems
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Idioma: | inglés |
| Publicado: |
Cambridge
CUP
2005
|
| Edición: | 2nd ed. |
| Subjects: | |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
MEGHNAD SAHA INSTITUTE OF TECHNOLOGY: General stacks
| Número de Clasificación: |
004. H979e2 |
|---|---|
| Copia 1 | Dispoñible Facer reserva |