Marc 21
|
| 001 |
|
37 |
| 003 |
|
BfC |
| 005 |
|
04032021112730 |
| 006 |
$m |
04032021112730 |
| 020 |
|
978-84-8322-368-0 |
| 082 |
|
005.131 |
| 090 |
|
J942p |
| 100 |
|
Julian Iranzo, Pascual; Alpuente Frasnedo, Maria |
|
$q |
Pascual Julian Iranzo; Maria Alpuente Frasnedo |
| 245 |
|
Programación Lógica Teoría y Práctica |
| 246 |
|
Depuración, verificación, certificación |
| 256 |
|
|
|
$b |
Incluye portada |
| 260 |
|
Madrid : Pearson Educación S. A.2007 |
|
$a |
Madrid |
|
$b |
Pearson Educación S. A. |
|
$c |
2007 |
| 300 |
|
496 p. ilus.; 20 cm.. |
|
$a |
496 p. |
|
$b |
ilus. |
|
$c |
20 cm. |
| 500 |
|
incluye indice |
| 500 |
$3 |
1 |
| 520 |
|
Una panorámica de la programación, sistema de formales, lógica y lenguajes de programación, de la demostración automática a la programación lógica; De la demostración automática a la programación lógica II, el principio de resolución de Robinson; Programación; El lenguaje Prolog; El lenguaje Prolog aspecto Avanzados; Aplicación de la Programación Lógica; Resolución Programación Lógica y Tecnología Software Rigurosa; Fundamento y Notaciones Matemáticas |
| 521 |
|
Cualquier público |
| 546 |
|
Español |
| 650 |
|
PROGRAMACIÓN; LÓGICA; APLICACIONES |
| 850 |
|
Biblioteca de Computación y Telecomunicaciones |