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!
|
MARC
| LEADER | 00000am aa2200000a 44500 | ||
|---|---|---|---|
| 001 | OHA-20260330-1265 | ||
| 003 | OSt | ||
| 005 | 20260619090847.0 | ||
| 008 | 260619b |||||||| |||| 00| 0 eng d | ||
| 020 | |a 0-521-67089-6 | ||
| 100 | |a Huth, Michael | ||
| 245 | |a Logic in computer science:modelling and reasoning about systems | ||
| 250 | |a 2nd ed. | ||
| 260 | |a Cambridge |b CUP |c 2005 | ||
| 700 | |a Ryan, Mark/ | ||
| 942 | |c BK | ||
| 952 | |0 0 |1 0 |4 0 |6 004_000000000000000__H979E2 |7 0 |9 81309 |a MSIT |b MSIT |c GEN |d 2026-03-30 |g 395.00 |l 0 |o 004. H979e2 |p 19816 |r 2026-03-30 21:22:06 |t 1 |v 395.00 |w 2026-03-30 |y BK | ||
| 999 | |c 4490 |d 4490 | ||
| 650 | 0 | |a CSE | |
| 650 | 0 | |a IT | |
| 650 | 0 | |a Computer logic. | |