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

005 - numéro d'identification de la version
identification de la version 20170919220228.0
009 - PPN
PPN 076315363
010 ## - ISBN
ISBN 3-540-20803-8
qualificatif br.
020 ## - numéro de la bibliographie nationale
code de pays US
numéro 2004043677
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 20040206d2004 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 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004
-- proceedings
Auteur principal Bernhard Steffen, Giorgio Levi (eds)
210 ## - éditeur
Lieu de publication Berlin
-- New York
Nom de l'éditeur Springer
Date de publication cop. 2004
215 ## - Description matérielle
Caractéristiques matérielles XI-324 p.
Format 24 cm
225 2# - collection
titre de la collection Lecture notes in computer science
numéro du volume 2937
ISSN de la collection 0302-9743
320 ## - note
texte de la note Contient des notes bibliogr. Index
610 ## - sujets
sujet BINARY DECISION DIAGRAM
610 ## - sujets
sujet ANALYSE SEMANTIQUE
610 ## - sujets
sujet Preuve automatique
610 ## - sujets
sujet Modèl Checking
606 ## - sujets
-- ba0yba0y
-- frefre
sujet Logiciels
subdivision du sujet Vérification
code du système d'indexation rameau
610 ## - sujets
sujet Preuve de programme
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 388442
numéro de la notice d'autorité 077639154
élément d'entrée Steffen
partie du nom autre que l'élément d'entrée Bernhard
code de fonction Editeur scientifique
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 388443
numéro de la notice d'autorité 077639251
élément d'entrée Levi
partie du nom autre que l'élément d'entrée Giorgio
dates 1942-...
code de fonction Editeur scientifique
710 12 - auteur
numéro de la notice d'autorité 077639383
élément d'entrée International Conference on Verification, Model Checking, and Abstract Interpretation
numéro de congrès et/ou de session 5
date du congrès 2004
lieu du congrès Venice, 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-3908
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique VEN 04 Empruntable Centre de Recherche en Informatique

Powered by Koha