Título Proceedings of EUROVAV'93;European Symposium on the Validation and Verification of Knowledge Based Systems, 24-25-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca (Spain) ; edited by Jesús Cardeñosa, Pedro Meseguer ; sponsored by Commission of the European Communities, Comisión Interministerial de Ciencia y Tecnología ; organized by Universitat de les Illes Balears, Universitat Politécnica de Madrid, Institut d'Investigació en Intel·ligència Artificial;
Lugar de publicación

Madrid

[Boadilla del Monte]

Editorial

distributed by Univ.Polit.

J. Cardeñosa ;

Fecha de publicación [1993]
Descripción física o extensión 347 p.
Dimensiones 24 cm
Depósito Legal M 8434-1993
Participante

Cardeñosa, Jesús

Institut d'Investigació en Intel·ligència Artificial

Meseguer, Pedro (1958-)

Universidad Politécnica de Madrid

Universidad de las Islas Baleares

http://datos.bne.es/def/OP3004 EUROVAV'93 1993. Palma de Mallorca)
Tipo de material [Texto impreso]
ISBN 84-604-5817-2
Nota Bibliografía

Tipo

Libro

Temas

Sistemas expertos (Informática)--Verificación--Congresos y asambleasSistemas expertos (Informática)--Certificación--Congresos y asambleas

Acceder a esta obra

Este recurso puede obtenerse en la propia Biblioteca Nacional de España, solicitando una copia, o por préstamo interbibliotecario (solo bibliotecas), utilizando las siguientes opciones:

Ejemplares disponibles

Signatura 9/131408
Localización SG_RECOLET
Biblioteca BNMADRID
Signatura AHM/297918
Localización SG_PETANTI
Biblioteca BNALCALA
Signatura DL/693097
Localización CONSERVACI
Biblioteca BNALCALA

Más información de ejemplares

DL M 8434-1993
Signatura 9/131408
Localización SG_RECOLET
DL M 8434-1993
Signatura AHM/297918
Localización SG_PETANTI
DL M 8434-1993
Signatura DL/693097
Localización CONSERVACI