CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 31 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).
Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch.

by Partsch, Helmut A, 1950-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1990Availability: Items available for loan: [Call number: C F3.1 P275 ] (1).
ZUM '95... the Z formal specification notation : Proceedings / ed. Jonathan P. Bowen, Michael G. Hinchey.

by International Conference of Z Users (9º : 1995 : Limerick, Ireland) | Bowen, Jonathan Peter, 1956- [ed.] | Hinchey, Michael G [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 967 ] (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).
Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers.

by Feijs, Loe M. G, 1954- | Jonkers, H. B. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.1 F297 ] (1).
Algebraic specification of communication protocols / edited by S. Mauw, G. J. Veltink.

by Mauw, S [ed.] | Veltink, G. J [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C F3.1 A394 ] (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).
Specification and analysis of concurrent systems : the cosy approach / Ryszard Janicki, Peter E. Lauer.

by Janicki, Ryszard | Lauer, Peter E, 1934-.

Material type: book Book Publisher: Berlin : Springer, 1992Availability: Items available for loan: [Call number: C H2.4 J33 ] (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).
ZUM'97 : the Z formal specification notation / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till.

by International Conference of the Z User (10º : 1997 : Reading, UK) | Bowen, Jonathan Peter, 1956- [ed.] | Hinchey, Michael Gerad, 1969- [ed.] | Till, David [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1212 ] (1).
Hybrid and real-time systems / edited by Oded Maler.

by HART '97 (1997 : Grenoble, France) | Maler, Oded [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1201 ] (1).
Formal systems specification : the RPC memory specification case study / ed. Manfred Broy, Stephen Merz, Katharina Spies.

by Broy, Manfred, 1949- [ed.,] | Merz, Stephen [ed.] | Spies, Katharina [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1169 ] (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