Computer aided verification | proceedings (Record no. 122566)

005 - numéro d'identification de la version
identification de la version 20190517032228.0
009 - PPN
PPN 04643593X
010 ## - ISBN
ISBN 3-540-66202-2
020 ## - numéro de la bibliographie nationale
code de pays GB
numéro 99-50633
035 ## - autres systèmes de numéros de contrôle
-- 771862302
099 ## - Informations locales
date creation notice (koha) 2009-07-20
date modification notice (koha) 2017-09-19
100 ## - données générales de traitement
données générales de traitement 19990709d1999 u y0frey50 ba
200 1# - titre
Titre propre Computer aided verification
Sous-titre 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
Titre propre proceedings
Auteur principal Nicolas Halbwachs, Doron Peled (Eds.)
210 ## - éditeur
Lieu de publication Berlin
-- London
Nom de l'éditeur Springer
Date de publication c1999
215 ## - Description matérielle
Caractéristiques matérielles xii, 506 p.
Autres caractéristiques ill.
Format 24 cm
225 2# - collection
titre de la collection Lecture notes in computer science
ISSN de la collection 0302-9743
numéro du volume 1633
320 ## - note
texte de la note Includes bibliographies and index.
517 ## - autres variantes du titre
variante du titre CAV'99
606 ## - sujets
sujet Logiciels
subdivision du sujet Essais
-- Congrès
code du système d'indexation rameau
610 ## - sujets
sujet LOGIQUE TEMPORELLE
610 ## - sujets
sujet AUTOMATE
676 ## - classification
indice Dewey 004.24
édition 21
686 ## - classification
type (indice) F.3
code du système acm
686 ## - classification
type (indice) D.2.2
code du système acm
686 ## - classification
type (indice) D.2.2
code du système acm
686 ## - classification
type (indice) F.4.1
code du système acm
686 ## - classification
type (indice) B.7.2
code du système acm
686 ## - classification
type (indice) C.3
code du système acm
686 ## - classification
type (indice) I.2.3
code du système acm
610 ## - sujets
sujet Preuve automatique
606 ## - sujets
-- ba0yba0y
sujet Circuits intégrés
subdivision du sujet Essais
-- Congrès
code du système d'indexation rameau
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 384014
numéro de la notice d'autorité 033955743
élément d'entrée Halbwachs
partie du nom autre que l'élément d'entrée Nicolas
702 #1 - nom de personne - mention de responsabilité secondaire
élément d'entrée Peled
partie du nom autre que l'élément d'entrée Doron
dates 1962-
710 12 - auteur
élément d'entrée CAV'99
subdivision Conference
numéro de congrès et/ou de session 11th
lieu du congrès Trento, Italy
date du congrès 1999
code de fonction Auteur
909 ## - Type de document
Type de document Congrès
CAT_DOC TL
930 ## - localisation
-- g
995 ## - Exemplaires
-- EM AI CI200-2851
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique TRE 99 Empruntable Centre de Recherche en Informatique

Powered by Koha