Verification, model checking, and abstract interpretation (Record no. 123853)

005 - numéro d'identification de la version
identification de la version 20170919220229.0
009 - PPN
PPN 083886303
010 ## - ISBN
ISBN 3-540-24297-X
qualificatif br.
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 20050215d2005 k y0frey50 ba
200 1# - titre
Titre propre Verification, model checking, and abstract interpretation
indication générale du type de document Texte imprimé
Sous-titre 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005
-- Proceedings
Auteur principal Radhia Cousot (Ed.)
210 ## - éditeur
Lieu de publication Berlin
-- Heidelberg
Nom de l'éditeur Springer
Date de publication cop. 2005
215 ## - Description matérielle
Caractéristiques matérielles XI-481 p.
Format 24 cm
225 2# - collection
titre de la collection Lecture notes in computer science
numéro du volume 3385
ISSN de la collection 0302-9743
320 ## - note
texte de la note Contient des notes bibliogr. Index
517 ## - autres variantes du titre
variante du titre VMCAI 2005
610 ## - sujets
sujet VERIFICATION
610 ## - sujets
sujet INTERPRETATION ABSTRAITE
610 ## - sujets
sujet ANALYSE SEMANTIQUE
610 ## - sujets
sujet Modèl Checking
606 ## - sujets
-- ba0yba0y
-- frefre
sujet Logiciels
subdivision du sujet Vérification
code du système d'indexation rameau
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 388186
numéro de la notice d'autorité 076417050
élément d'entrée Cousot
partie du nom autre que l'élément d'entrée Radhia
code de fonction Editeur scientifique
710 12 - auteur
numéro de la notice d'autorité 083886079
élément d'entrée International conference on verification, model checking and abstract interpretation
numéro de congrès et/ou de session 6
date du congrès 2005
lieu du congrès Paris, FR
code de fonction Auteur
909 ## - Type de document
Type de document Congrès
CAT_DOC TL
-- Congrès
930 ## - localisation
-- g
995 ## - Exemplaires
-- EM AI CI200-3933
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique PAR 05 Sur demande Centre de Recherche en Informatique

Powered by Koha