REBIUN - ODA

Catálogo de la Red de Bibliotecas Universitarias y Científicas

Abstract software specifications

Springer-Verlag 1980

Monografía

monografia Rebiun04223475 https://catalogo.rebiun.org/rebiun/record/Rebiun04223475 150601s1980 0gw 0001 00eng0d 3-540-10007-5 UPM 991001442099704212 UPM eng Abstract software specifications edited by D. Bjorner Berlin Springer-Verlag 1980 Berlin Berlin Springer-Verlag XI, 566 p. 24 cm XI, 566 p. Lecture notes in computer science 86 Ingeniería del software Bjorner, Dines

Localizaciones: 1
Préstamo interbibliotecario

Formato:

Título:

Abstract software specifications / edited by D. Bjorner

Editorial:

Berlin : Springer-Verlag, 1980

Descripción física:

XI, 566 p. ; 24 cm

Mención de serie:

Lecture notes in computer science ; 86

ISBN:

3-540-10007-5

Materia:

Autores:

Consultar en el catálogo

Seleccione el centro al que pertenece para solicitar la petición de préstamo de este documento.

Filtrar por:

Relacionados

Misma Editorial y Colección

Autores Choueiry, Berthe Y. Walsh, Toby

Publicación Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2000

Formato Monografía

Formato Monografía
Autores Miranker, Willard L. Toupin, Richard A.

Publicación Berlin [etc.] : Springer-Verlag, cop. 1986

Formato Monografía

Formato Monografía
Autores Genaro, Marcela, ed

Publicación Berlin : Springer-Verlag, 2003

Formato Monografía

Formato Monografía
Publicación Berlin : Springer-Verlag, cop. 1993.

Formato Monografía

Formato Monografía
Autores Adam, Nabil R. Bhargava, Bharat (1948-)

Publicación Berlin ; New York : Springer-Verlag, 1993

Formato Monografía

Formato Monografía
Publicación Berlín, [etc.] : Springer-Verlag, cop. 1991.

Formato Monografía

Formato Monografía
Autores Olivé, Antoni, ed Pastor i Collado, Joan Antoni, ed

Publicación Berlín [etc.] : Springer-Verlag, cop. 1997

Formato Monografía

Formato Monografía
Autores Conradi, Reidar, ed Didriksen, Tor M., ed International Workshop on Advanced Programming Environments (1986. Trondheim, Noruega)

Publicación Berlin [etc.] : Springer-Verlag, 1986

Formato Monografía

Formato Monografía
Autores Nossum, Rolf Tomas (1954-) edt European Coordinating Committee for Artificial Intelligence Advanced Course in Artificial Intelligence (2nd :. 08-1987 :. Oslo)

Publicación Berlin : Springer-Verlag, cop. 1988

Formato Monografía

Formato Monografía
Publicación Berlin : Springer-Verlag, cop. 1990.

Formato Monografía

Formato Monografía
Autores Lam, Kwok-Yan Okamoto, Eiji Xing, Chaoping

Publicación Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 1999

Formato Monografía

Formato Monografía
Autores Brassard, Gilles, ed

Publicación New York [etc.] : Springer-Verlag, cop. 1990

Formato Monografía

Formato Monografía

Catálogo de la Red de Bibliotecas Universitarias y Científicas

Detalle del título

Descripción del título

Más detalles del título

Más detalles

Localizaciones

UPM Universidad Politécnica de Madrid

Préstamo interbibliotecario

Relacionados

Misma Editorial y Colección