Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Abstract state machines : a method for high-level system design and analysis / Egon Börger, Robert Stärk. por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Berlin ; New York : Springer, 2003
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (2)Colección, signatura topográfica: Acervo General QA 76.9.S88 B66.2003, ...

Hacer reserva
Computability, complexity, logic / E. Börger por Series Studies in logic and the foundations of mathematics
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Amsterdam : North-Holland, c1989
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 9.59 B6713.1989.

Hacer reserva
Páginas