Formal methods in computer-aided design (Record no. 122957)

005 - numéro d'identification de la version
identification de la version 20190731162643.0
009 - PPN
PPN 053182782
010 ## - ISBN
ISBN 3-540-41219-0
qualificatif softcover : alk. paper
020 ## - numéro de la bibliographie nationale
code de pays US
numéro 0049710
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 20000928d2000 u y0frey50 ba
200 1# - titre
Titre propre Formal methods in computer-aided design
Sous-titre third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000
-- proceedings
Auteur principal Warren A. Hunt, Jr., Steven D. Johnson, eds
210 ## - éditeur
Lieu de publication New York
Nom de l'éditeur Springer
Date de publication 2000
215 ## - Description matérielle
Caractéristiques matérielles p. cm.
225 2# - collection
titre de la collection Lecture notes in computer science
numéro du volume 1954
320 ## - note
texte de la note Includes index.
610 ## - sujets
sujet SPECIFICATION
676 ## - classification
indice Dewey 621.39/2
édition 21
686 ## - classification
type (indice) B.1.2
code du système acm
686 ## - classification
type (indice) B.1.4
code du système acm
686 ## - classification
type (indice) B.2.2-3
code du système acm
686 ## - classification
type (indice) B.6.2-3
code du système acm
686 ## - classification
type (indice) B.7.2-3
code du système acm
686 ## - classification
type (indice) F.3.1
code du système acm
686 ## - classification
type (indice) F.4.1
code du système acm
686 ## - classification
type (indice) I.2.3
code du système acm
686 ## - classification
type (indice) D.2.4
code du système acm
686 ## - classification
type (indice) J.6
code du système acm
606 ## - sujets
-- ba0yba0y
sujet Ordinateurs
subdivision du sujet Conception et construction
code du système d'indexation rameau
610 ## - sujets
sujet Preuve automatique
610 ## - sujets
sujet Modèl Checking
606 ## - sujets
-- ba0yba0y
sujet Circuits intégrés
subdivision du sujet Vérification (épistémologie)
-- Congrès
code du système d'indexation rameau
702 #1 - nom de personne - mention de responsabilité secondaire
élément d'entrée Hunt
partie du nom autre que l'élément d'entrée Warren A.
dates 1958-
702 #1 - nom de personne - mention de responsabilité secondaire
élément d'entrée Johnson
partie du nom autre que l'élément d'entrée Steven D.
forme développée des initiales du prénom Steven Dexter
710 12 - auteur
élément d'entrée FMCAD 2000
lieu du congrès Austin, Tex.
date du congrès 2000
code de fonction Auteur
712 12 - collectivité - mention de responsabilité secondaire
élément d'entrée International Conference on Formal Methods in Computer Aided Design
numéro de congrès et/ou de session 3rd
lieu du congrès Austin, TX, USA
date du congrès 2000
909 ## - Type de document
Type de document Congrès
CAT_DOC Tiré à Part
-- Congrès
930 ## - localisation
-- g
995 ## - Exemplaires
-- EM AI CI200-3191
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique AUS 00 Sur demande Centre de Recherche en Informatique

Powered by Koha