Logic in computer science : modelling and reasoning about systems
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [U.K.] ;
Cambridge University Press,
2004.
|
| Edition: | 2nd ed. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01398Cam#a22003374a#4500 | ||
|---|---|---|---|
| 001 | 027006 | ||
| 003 | AR-BeUNQ | ||
| 005 | 20190812123916.0 | ||
| 008 | 141127s2004 enka ##b #001 0#eng#d | ||
| 999 | |c 24691 |d 100078 | ||
| 020 | |a 9780521543101 | ||
| 040 | |a DLC |d DLC |e aacr | ||
| 082 | 0 | 4 | |a 005.1/01/5113 |2 22 |
| 100 | 1 | |a Huth, Michael, |d 1962- | |
| 245 | 0 | 2 | |a Logic in computer science : |b modelling and reasoning about systems |c Michael Huth, Mark Ryan. |
| 250 | |a 2nd ed. | ||
| 260 | |a Cambridge [U.K.] ; |b Cambridge University Press, |c 2004. | ||
| 300 | |a xiv, 427 p. : |b il. ; |c 25 cm. | ||
| 504 | |a Incluye referencias bibliográficas (414-417) e índice. | ||
| 594 | |a LICENCIATURA EN DESARROLLO DE SOFTWARE |a LICENCIATURA EN INFORMATICA | ||
| 595 | |a ALGORITMOS | ||
| 595 | |a LOGICA Y PROGRAMACION |d 2016 | ||
| 650 | 7 | |a Lógica |2 spines | |
| 650 | 7 | |a Programación de computadora |2 toit | |
| 650 | 7 | |a Informática |2 spines | |
| 700 | 1 | |a Ryan, Mark, |d 1962- | |
| 929 | |a COMPRA |b Beatriz A. Díaz |c 1a Compra Exp. 827-0690/14 |d 1100,00 |e 20141105 |f PAT0056298 |j 52269 | ||
| 929 | |a COMPRA |b Beatriz A. Díaz |c 1a Compra Exp. 827-0690/14 |d 1100,00 |e 20141105 |f PAT0056299 |j 52270 | ||
| 929 | |a COMPRA |b Beatriz A. Díaz |c 1a Compra Exp. 827-0690/14 |d 1100,00 |e 20141105 |f PAT0056300 |j 52271 | ||
| 929 | |a COMPRA |b Beatriz A. Díaz |c 1a Compra Exp. 827-0690/14 |d 1100,00 |e 20141105 |f PAT0056301 |j 52272 | ||
| 942 | |c LIB |n 0 | ||