Su búsqueda retornó 10 resultados.

Ordenar
Resultados
1.
Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities / Axel Simon. por
Detalles de publicación: London : Springer, c2008
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2.2 S594.
2.
Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch. por Series Texts and monographs in computer science
Detalles de publicación: Berlin : Springer, 1990
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 P275 .
3.
Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers. por Series Cambridge tracts in theoretical computer science ; 35
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 F297 .
4.
Algebraic specification of communication protocols / edited by S. Mauw, G. J. Veltink. por Series Cambridge tracts in theoretical computer science ; 36
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 A394 .
5.
Programming in the 1990s : an introduction to the calculation of programs / Edward Cohen. por 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 , ...
6.
Reasoned programming / Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers. por 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.
7.
Formal development of programs and proofs / by Edsger W. Dijkstra. por 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 .
8.
The deductive foundations of computer programming / Zohar Manna, Richard Waldinger. por
Detalles de publicación: Reading, Mass. : Addison-Wesley, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 M282 .
9.
Specification and analysis of concurrent systems : the cosy approach / Ryszard Janicki, Peter E. Lauer. por Series EATCS monographs on theoretical computer science ; v. 26
Detalles de publicación: Berlin : Springer, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C H2.4 J33 .
10.
Relations and graphs : discrete mathematics for computer scientists / Günter Schmidt, Thomas Ströhlein. por 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 .
Páginas


Nuestras Redes Sociales

facebook Instagram

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)