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

003 - Identifiant pérenne de la notice
Identifiant pérenne de la notice http://www.sudoc.fr/150015224
005 - numéro d'identification de la version
identification de la version 20171005032204.0
009 - PPN
PPN 150015224
010 ## - ISBN
ISBN 978-3-642-18274-7
qualificatif br.
010 ## - ISBN
ISBN 3-642-18274-7
qualificatif br.
099 ## - Informations locales
Masqué à l'opac visible à l'OPAC
date creation notice (koha) 2014-09-08
date modification notice (koha) 2014-09-08
100 ## - données générales de traitement
données générales de traitement 20110211d2011 k y0frey50 ba
200 1# - titre
Titre propre Verification, model checking, and abstract interpretation
indication générale du type de document [Texte imprimé]
Complément du titre 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011
-- proceedings
Auteur(s) secondaire(s) Ranjit Jhala, David Schmidt (eds.)
210 ## - éditeur
Lieu de publication Berlin
-- Heidelberg
Nom de l'éditeur Springer
Date de publication cop. 2011
215 ## - description
Caractéristiques matérielles 1 vol. (XI-418 p.)
Format 24 cm
320 ## - note
texte de la note Notes bibliogr. en fin de chapitre. Index
452 ## - autre édition sur un autre support
Lien 149906536
Titre Verification, Model Checking, and Abstract Interpretation
Date de publication 2011
517 ## - autres variantes du titre
Variante du titre VMCAI 2011
610 ## - sujets
sujet Logiciel
610 ## - sujets
sujet Interprétation abstraite
610 ## - sujets
sujet Nombre flottant
610 ## - sujets
sujet Control flowgraph
610 ## - sujets
sujet Terminaison
610 ## - sujets
sujet Pointeur
606 ## - Mot Matière
-- ba0yba0y
-- frefre
Element d'entrée Logiciels
Subdivision de sujet Vérification
Numéro de notice d'autorité 053469844
-- 02886431X
606 ## - Mot Matière
-- ba0yba0y
Element d'entrée Débogage
-- frefre
Numéro de notice d'autorité 027758273
-- 02886431X
Subdivision de sujet Actes de congrès
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 433309
numéro de la notice d'autorité 033755396
élément d'entrée Schmidt
partie du nom autre que l'élément d'entrée David A
dates 1953-....
code de fonction Editeur scientifique
710 12 - auteur
Numéro notice autorité 433341
numéro de la notice d'autorité 15001581X
élément d'entrée International Conference on Verification, Model Checking, and Abstract Interpretation
numéro de congrès et/ou de session 12
date du congrès 2011
lieu du congrès Austin, US
code de fonction Auteur
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 433340
-- ba0yba0y
élément d'entrée Jhala
partie du nom autre que l'élément d'entrée Ranjit
numéro de la notice d'autorité 15001564X
code de fonction Editeur scientifique
801 #3 - source de catalogage
Date de la transaction 20110215
Holdings
Perdu Origine geographique du document Localisation cote Statut de l'exemplaire Propri
Présent Bib. Fontainebleau Centre de recherche en informatique AUS 11 Sur demande Centre de Recherche en Informatique

Powered by Koha