CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 26 results. Subscribe to this search

|
Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities / Axel Simon.

by Simon, Axel.

Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: London : Springer, c2008Availability: Items available for loan: [Call number: C D2.2 S594] (1).
Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.).

by International conference,VMCAI 2007 (8th : 2007 : Nice, France) | Cook, Byron [ed.] | Podelski, Andreas [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Publisher description Availability: Items available for loan: [Call number: C LNCS v. 4349] (1).
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers / edited by Peter Dybjer, Bengt Nordström.

by International Workshop TYPES ’94 (1994 : Bastad, Sweden) | Dybjer, Peter [ed.] | Nordström, Bengt [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 996 ] (1).
Hybrid systems II / edited by Panos Antsaklis, Wolf Kohn.

by Antsaklis, Panos [ed.] | Kohn, Wolf [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 999 ] (1).
Logic program synthesis and transformation / edited by John Gallagher.

by International Workshop on Logic Program Synthesis and Transformation (6º : 1996 : Stockholm, Sweeden) | Gallagher, John, (John P.) [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1207 ] (1).
Logic program synthesis and transformation / edited by Maurizio Proietti.

by International Workshop on Logic Program Synthesis and Transformation, LOPSTR (1995 : Utrecht, The Netherlands) | Proietti, Maurizio, 1959- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1048 ] (1).
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid.

by Godefroid, Patrice.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1032 ] (1).
Programming in the 1990s : an introduction to the calculation of programs / Edward Cohen.

by Cohen, Edwards.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1990Availability: Items available for loan: [Call number: C F3.1 C678 ] (4).
Reasoned programming / Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers.

by Broda, Krysia, 1949- | Eisenbach, Susan | Khoshnevisan, Hessam | Vickers, Steven.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Prentice-Hall, 1994Availability: Items available for loan: [Call number: C F3.1 B864] (1).
Formal development of programs and proofs / by Edsger W. Dijkstra.

by Dijkstra, Edsger Wybe, 1930-2002.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Reading, Mass. : Addison-Wesley, 1990Availability: Items available for loan: [Call number: C F3.1 D575 ] (1).
The deductive foundations of computer programming / Zohar Manna, Richard Waldinger.

by Manna, Zohar | Waldinger, Richard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Reading, Mass. : Addison-Wesley, 1993Availability: Items available for loan: [Call number: C F3.1 M282 ] (1).
Relations and graphs : discrete mathematics for computer scientists / Günter Schmidt, Thomas Ströhlein.

by Schmidt, Günter, 1939- | Ströhlein, Thomas.

Material type: book Book Publisher: Berlin : Springer, 1993Availability: Items available for loan: [Call number: C G2 S351 ] (1).
Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings / edited by Miquel Bertran, Teodor Rus.

by International AMAST Workshop on Real-time Systems and Concurrent Distributed Software (4 : 1997 : Palma, Mallorca, Spain) | Bertran, Miquel [ed.] | Rus, Teodor [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1231 ] (1).
Analysis and verification of multiple-agent languages / ed. Mads Dam.

by LOMAPS Workshop (5º : 1996 : Stockholm, Sweden) | Dam, Mads [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1192 ] (1).
Formal methods for industrial applications : specifying and programming the steam boiler control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond, 1938- [ed.] | Börger, Egon, 1946- [ed.] | Langmaack, Hans, 1934- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1165 ] (2).
Types for proofs and programs / edited by Stefano Berardi, Mario Coppo.

by International Workshop on Types for Proofs and Programs (1995 : Torino, Italy) | Berardi, Stefano [ed.] | Coppo, Mario, 1947- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1158 ] (1).
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / edited by E. M. Clarke, R. P. Kurshan.

by CAV (Conference) (2nd : 1990 : Center for discrete mathematics and theoretical computer science) | Clarke, E. M, 1945- [ed.] | Kurshan, R. P, 1943- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1991Availability: Items available for loan: [Call number: AMS DIMACS v. 3] (1).
Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli.

by Manna, Zohar | Pnueli, Amir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1995Availability: Items available for loan: [Call number: C F2 M282] (1).
Static analysis / edited by Radhia Cousot, David A. Schmidt.

by International Static Analysis Symposium (3º : 1996 : Aachen, Germany) | Cousot, Radhia [ed.] | Schmidt, David A, 1953- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1145 ] (1).
Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison.

by TPHOLs '97 (9º : 1996 : Turku, Finland) | Wright, Joakim von, 1955- [ed.,] | Grundy, Jim, 1968- [ed.,] | Harrison, John, 1966- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1125 ] (1).

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

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

publicofamaf@gmail.com