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 TECNOLOGIA-DERECHOS DE PROPIEDAD
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Suggested Topics: Remove Filter TECNOLOGIA-DERECHOS DE PROPIEDAD

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
  • An introduction to formal spec...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
An introduction to formal specification and Z /

An introduction to formal specification and Z /

Bibliographic Details
Main Author: Potter, Ben
Other Authors: Sinclair, Jane, Till, David, 1942-
Format: Book
Language:English
Published: London : Prentice-Hall, 1996.
Edition:2a. ed.
Series:Prentice-Hall international series in computer science
Subjects:
Software-Requerimientos y especificaciones.
Software-Requeriments and specifications.
Lenguajes de programación.
Programming languages.
Z.
  • Holdings
  • Description
  • Similar Items
  • Staff View
Place a Title Level Request

Holdings details from
Copy Available Place a Hold

Similar Items

  • Formal specification and design /
    by: Feijs, Loe M. G., 1954-
    Published: (1992)
  • Formal systems specification : the RPC memory specification case study /
    Published: (1996)
  • Recent trends in data type specification /
    Published: (1996)
  • Recent trends in data type specification /
    Published: (1995)
  • Understanding Z : a specification language and its formal semantics /
    by: Spivey, J. Michael
    Published: (1992)

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