Su búsqueda retornó 7 resultados.

Resultados
	1.	Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities / Axel Simon. por Simon, Axel Detalles de publicación: London : Springer, c2008 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2.2 S594. Agregar al carrito (remover)
	2.	Programming in the 1990s : an introduction to the calculation of programs / Edward Cohen. por Cohen, Edwards Series Texts and monographs in computer science Detalles de publicación: New York : Springer, 1990 Disponibilidad: Ítems disponibles para préstamo: FaMAF (4)Signatura topográfica: C F3.1 C678 , ... Agregar al carrito (remover)
	3.	Reasoned programming / Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers. por Broda, Krysia, 1949- Eisenbach, Susan Khoshnevisan, Hessam Vickers, Steven Series Prentice-Hall international series in computer science Detalles de publicación: New York : Prentice-Hall, 1994 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 B864. Agregar al carrito (remover)
	4.	Formal development of programs and proofs / by Edsger W. Dijkstra. por Dijkstra, Edsger Wybe, 1930-2002 Series The UT year of programming series Detalles de publicación: Reading, Mass. : Addison-Wesley, 1990 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 D575 . Agregar al carrito (remover)
	5.	The deductive foundations of computer programming / Zohar Manna, Richard Waldinger. por Manna, Zohar Waldinger, Richard Detalles de publicación: Reading, Mass. : Addison-Wesley, 1993 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 M282 . Agregar al carrito (remover)
	6.	Relations and graphs : discrete mathematics for computer scientists / Günter Schmidt, Thomas Ströhlein. por Schmidt, Günter, 1939- Ströhlein, Thomas Series EATCS monographs on theoretical computer science Detalles de publicación: Berlin : Springer, 1993 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C G2 S351 . Agregar al carrito (remover)
	7.	Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. por Manna, Zohar Pnueli, Amir Detalles de publicación: New York : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2 M282. Agregar al carrito (remover)

Nuestras Redes Sociales

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)