Libro: Mathematical Logic for Computer Science. 1852333197


	Ciencias Humanas

	Ciencias Técnicas

	Derecho

	Economía

	Informática

	Libros de Texto

	Literatura

	Oposiciones

	Otros

	Tiempo Libre

Mathematical Logic for Computer Science

Mathematical Logic For Computer Science
Ben-Ari, M. (Springer-verlag London Ltd)
Precio:47,47 € ($64,3)
318 páginas.
ISBN: 1852333197. ISBN-13: 9781852333195
(31/03/2001).
Entrega: 1 a 15 días contra reembolso por agencia urgente^*

This mathematics textbook with theorems and proofs, has been guided by the needs of computer science students. The logical systems presented are: propositional calculus (including binary decision diagrams); predicate calculus; resolution; Hoare logic; Z; and temporal logic.
Se utiliza en la UNED en las siguientes titulaciones:
Ingeniería en Informática. 2º Ciclo:
- Lógica Computacional (bibliografía complementaria)
Otros clientes que compraron Mathematical Logic for Computer Science, también compraron:

Appleton & Lange Review For The Usmle Step 2 4/e
Chan.
372 páginas.
Precio: 50,92 € ($68,98)

Teatro De La Mente Y Didactica Educativa
Josep María Font i Font; Montserrat Vallvé i Viladoms; Anna Forés i Miravalles.
Precio: 15 € ($20,32)

Otros libros de :

Plan Lector Edelvives ¡vive Tu Libro!, 2 Educación Primaria, 1 Ciclo
Zubizarreta, Patxi; Gómez Cerdá, Alfredo; Fossette, Danièle.
48 páginas.
Precio: 21,57 € ($29,22)

Palabras Mágicas, Lectoescritura, Educación Infantil.
cuaderno 5
Cebrián Pedrola, M. Àngels; Just Calpe, M. Carme.
78 páginas.
Precio: 12,75 € ($17,27)

Parque Natura Sierra Nevada.
escala 1:60.000
.
Precio: 5 € ($6,78)

La Bruja De Portobello (rústica)
Paulo Coelho.
250 páginas.
Precio: 14 € ($18,96)

El Ladrón De Arte
Noah Charney.
384 páginas.
Precio: 21 € ($28,45)

^*Para península. Tiempo estimado para días laborables