Skip to content
Universidad Nacional de Córdoba
U.N.C.
Catálogo colectivo
Advanced
Page will reload when a filter is removed. Reset Filters
Applied Filters:
Suggested Topics: Remove Filter TRABAJO-ARTESANOS-ESPAÑA
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Suggested Topics: Remove Filter TRABAJO-ARTESANOS-ESPAÑA

El Catálogo Colectivo reúne los registros del material que posee cada una de las bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad. Se encuentra disponible para toda la comunidad académica: estudiantes, docentes, egresados e investigadores. Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material, a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario, independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra que dictes.

Fuentes de datos

Koha
  • Facultad de Ciencias Agropecuarias
  • Facultad de Ciencias Económicas
  • Facultad de Lenguas
  • Escuela de Nutrición (FCM)
  • Facultad de Arquitectura, Urbanismo y Diseño
  • Facultad de Artes
  • Facultad de Ciencias Exactas, Físicas y Naturales
  • Biblioteca Mayor
  • Observatorio Astronómico de Córdoba
  • Centros de Estudios Avanzados
  • Facultad de Matemáticas, Astronomía, Física y Computación
  • Facultad de Medicina
  • Facultad de Odontología
  • Facultad de Comunicación
  • Facultad de Filosofía y Humanidades y Facultad de Psicología
  • Escuela Superior de Comercio Manuel Belgrano
  • Colegio Nacional de Monserrat
  • Facultad de Ciencias Químicas
  • Facultad de Ciencias Sociales
  • Facultad de Derecho
  • José Aricó
  • Museo de Antropología
  • Escuela de Salud Pública y Ambiente de la FCM
Otros
  • Repositorio Digital Universitario
  • Revistas de la Universidad Nacional de Córdoba
  • Applied semantics /
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Applied semantics /

Applied semantics /

Bibliographic Details
Corporate Author: APPSEM 2000 Carminha, Portugal
Other Authors: Barthe, Gilles, 1967- (ed.), Dybjer, Peter (ed.), Pinto, Luís (ed.), Saraiva, Joao (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 2002.
Series:Lecture notes in computer science ; v. 2395
LNCS ; v. 2395
Subjects:
Lenguajes de programación.
Programming languages.
Lógica y significado de programas.
Logics and meanings of programs.
Software.
  • Holdings
  • Description
  • Similar Items
  • Staff View
Place a Title Level Request

Holdings details from
Copy Available Place a Hold

Similar Items

  • The B-book : assigning programs to meanings /
    by: Abrial, Jean-Raymond, 1938-
    Published: (1996)
  • Design concepts in programming languages /
    by: Turbak, Franklyn Albin
    Published: (2008)
  • KORSO : methods, languages and tools for the construction of correct software. Final Report /
    Published: (1995)
  • Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /
    Published: (2006)
  • Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
    Published: (2007)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs