Tools and algorithms for the construction and analysis of systems (Record no. 123274)

005 - numéro d'identification de la version
identification de la version 20200618035754.0
009 - PPN
PPN 069464340
010 ## - ISBN
ISBN 3-540-43419-4
qualificatif softcover : alk. paper
020 ## - numéro de la bibliographie nationale
code de pays US
numéro 2002021217
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 20030130d2002 k y0frey50 ba
200 1# - titre
Titre propre Tools and algorithms for the construction and analysis of systems
indication générale du type de document Texte imprimé
Sous-titre 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002
-- proceedings
Auteur principal Joost-Pieter Katoen, Perdita Stevens (eds.)
210 ## - éditeur
Lieu de publication New York
-- heidelberg
Nom de l'éditeur Springer
Date de publication cop. 2002
215 ## - Description matérielle
Caractéristiques matérielles 1 vol. (XIII-482 p.)
Format 24 cm
225 2# - collection
titre de la collection Lecture notes in computer science
numéro du volume 2280
ISSN de la collection 0302-9743
320 ## - note
texte de la note Includes bibliographical references and index
610 ## - sujets
sujet TEST
610 ## - sujets
sujet ORDONNANCEMENT
610 ## - sujets
sujet GRAMMAIRE
676 ## - classification
indice Dewey 004.2/1
édition 21
610 ## - sujets
sujet Modèl Checking
610 ## - sujets
sujet Preuve de programme
606 ## - sujets
-- ba0yba0y
sujet Logiciels
subdivision du sujet Développement
code du système d'indexation rameau
606 ## - sujets
-- ba0yba0y
sujet Systèmes, Conception de
subdivision du sujet Congrès
code du système d'indexation rameau
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 387852
numéro de la notice d'autorité 074655582
élément d'entrée Stevens
partie du nom autre que l'élément d'entrée Perdita
code de fonction Editeur scientifique
710 12 - auteur
élément d'entrée TACAS 2002
numéro de congrès et/ou de session 8th
lieu du congrès Grenoble, FR
date du congrès 2002
code de fonction Auteur
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 391865
-- ba0yba0y
élément d'entrée Katoen
partie du nom autre que l'élément d'entrée Joost-Pieter
numéro de la notice d'autorité 130514063
code de fonction Editeur scientifique
909 ## - Type de document
Type de document Congrès
CAT_DOC TL
-- Congrès
930 ## - localisation
-- g
995 ## - Exemplaires
-- EM AI CI200-3444
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique GRE 02 Sur demande Centre de Recherche en Informatique

Powered by Koha