Cargando…
The calculus of computation : decision procedures with applications to verification /
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Berlin :
Springer- Verlag,
[2007]
|
| Materias: |
Economía, Estadística, Informática y Geografía Xalapa - FONDO 131
| Número de Clasificación: |
QA76.9.L63 B72 2007 |
|---|---|
| Copia 1 |
Checked out
– Vencimiento: 02-21-2029
Notas:
|