paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 174457294Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/174457294/idCopier cet URI
Notice de type Congrès

Point d'accès autorisé

International conference on computer-aided verification (02 ; 1990 ; New Brunswick, N.J.)

Sur le web

Variantes de point d'accès

DIMACS workshop on computer-aided verification (02 ; 1990 ; New Brunswick, N.J.)
[Nom de collectivité]
Conference on computer-aided verification (02 ; 1990 ; New Brunswick, N.J.)
[Nom de collectivité]
CAV (02 ; 1990 ; New Brunswick, N.J.)
[Nom de collectivité]
CAV international conference (02 ; 1990 ; New Brunswick, N.J.)
[Nom de collectivité]
CAV international workshop (02 ; 1990 ; New Brunswick, N.J.)
[Nom de collectivité]
International workshop on computer aided verification (02 ; 1990 ; New Brunswick, N.J.)
[Nom de collectivité]
Workshop on computer-aided verification (02 ; 1990 ; New Brunswick, N.J.)
[Nom de collectivité]
Computer-aided verification '90
[Nom de collectivité]
Computer-aided verification 1990
[Nom de collectivité]
CAV '90
[Nom de collectivité]
CAV 1990
[Nom de collectivité]

Information

Langue d'expression : anglais
Pays associé : Etats-Unis d'Amérique
Date de naissance : 18 -  06 -  1990
Date de mort : 21 -  06 -  1990

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/132038962

Source

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors, 1991
Internet, http://authorities.loc.gov, 2013-11-25

Information trouvée : forme bibliogr. : CAV (Conference) ; autres variantes : Conference on computer-aided verification ; CAV international conference ; CAV international workshop ; International workshop on computer aided verification ; Workshop on computer-aided verification
Source consultée en vain : Internet, http://catalogue.bnf.fr, 2013-11-25

Informations sur la notice

Identifiant de la notice : 174457294
Identifiant fusionné : 269994394
RCR créateur de la notice : 751052318
Date de création : 25-11-2013
RCR dernier modificateur de la notice : 4038
Date de dernière modification : 23-05-2023 à 19 h 08

... Références liées : ...