Static analysis | proceedings (Record no. 123944)

005 - numéro d'identification de la version
identification de la version 20190424032109.0
009 - PPN
PPN 080655149
010 ## - ISBN
ISBN 3-540-22791-1
020 ## - numéro de la bibliographie nationale
code de pays US
numéro 2004109776
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 20040929d2004 k y0frey50 ba
200 1# - titre
Titre propre Static analysis
indication générale du type de document Texte imprimé
Sous-titre 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004
Titre propre proceedings
Auteur principal Roberto Giacobazzi (ed.)
210 ## - éditeur
Lieu de publication Berlin
-- New York
Nom de l'éditeur Springer
Date de publication cop. 2004
215 ## - description
Caractéristiques matérielles XI-392 p.
Autres caractéristiques ill.
Format 24 cm
225 2# - collection
titre de la collection Lecture notes in computer science
numéro du volume 3148
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 SAS 2004
610 ## - sujets
sujet SURETE
610 ## - sujets
sujet SECURITE
610 ## - sujets
sujet ANALYSE SEMANTIQUE
610 ## - sujets
sujet Pointeur
606 ## - sujets
-- ba0yba0y
sujet Langages de programmation
subdivision du sujet Congrès
code du système d'indexation rameau
610 ## - sujets
sujet Preuve de programme
606 ## - sujets
-- ba0yba0y
sujet Ordinateurs
subdivision du sujet Programmation
code du système d'indexation rameau
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 389287
numéro de la notice d'autorité 083707069
élément d'entrée Giacobazzi
partie du nom autre que l'élément d'entrée Roberto
code de fonction Editeur scientifique
710 12 - auteur
numéro de la notice d'autorité 083707255
élément d'entrée International Static Analysis Symposium
numéro de congrès et/ou de session 11th
date du congrès 2004
lieu du congrès Verona, IT
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-4014
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique VER 04 Empruntable Centre de Recherche en Informatique

Powered by Koha

//]]>