Su búsqueda recuperó 3 resultados.

Resultados
		Cobinational search / Martin aigner por Aigner, Martin, 1942- [autor]. Series Wiley-teubner series in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Stuttgart : B. G. Teubner ; Chichester : J. Wiley, c1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: T57.97 A54. Hacer reserva Agregar al carrito (remover)
		The foundations of program verification / Jacques loeckx and Kurt sieber ; in collaboration with ryan d. stan por Loeckx, Jacques J. C, 1931- [autor] \| Sieber, Kurt [autor] \| Stansifer, Ryan D [autor]. Series Wiley-teubner series in computer scienceEdición: 2Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Stuttgart (alemania occidental) : B. G. Teubner, 1987Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 L57 1987. Hacer reserva Agregar al carrito (remover)
		Primality and cryptography / Evangelos kranakis por Kranakis, Evangelos [autor]. Series Wiley-teubner series in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Stuttgart : Teubner ; chichester : J. Wiley, c1986Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5102.5 K73. Hacer reserva Agregar al carrito (remover)