Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code (Record no. 54178)

003 - Identifiant pérenne de la notice
Identifiant pérenne de la notice http://www.sudoc.fr/076958418
005 - numéro d'identification de la version
identification de la version 20200923033319.0
009 - PPN
PPN 076958418
035 ## -
-- 771862302
-- 54178
035 ## -
-- (OCoLC)799310334
035 ## -
-- 771862302
-- 54178
035 ## -
-- (OCoLC)799310334
035 ## -
-- 771862302
-- 54178
099 ## - Informations locales
date creation notice (koha) 2005-10-26
date modification notice (koha) 2019-05-27
100 ## - données générales de traitement
données générales de traitement 20040317d2002 k y0frey50 ba
181 ## - Forme du contenu
Données de lien entre zones z01
Source du code non-ISO rdacontent
181 #1 - Forme du contenu
Données de lien entre zones z01
Code de la forme de contenu en ISBD
Code du qualificatif de contenu en ISBD xxxe##
182 ## - Type de médiation
Données de lien entre zones z01
Source du code non-ISO rdamedia
182 #1 - Type de médiation
Données de lien entre zones z01
Code du Type de médiation en ISBD Sans médiation
183 #1 - Type de support matériel
données de lien entre zones z01
source du code rdacarrier
200 1# - titre
Titre propre Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code
Auteur principal par Thi Viet Nga Nguyen
Auteur(s) secondaire(s) sous la dir. de François Irigoin
210 #1 - éditeur
Date de publication 2002
215 ## - description
Caractéristiques matérielles 1 vol. (189 p.)
Format 30 cm
320 ## - note
texte de la note Bibliogr. 146 réf.
328 #0 - note
Détails sur la thèse ou le mémoire dont le type de diplôme Thèse doctorat
Discipline Informatique, temps réel, robotique et automatique
Organisme délivrant le diplôme Paris, ENMP
Date du diplôme 2002
541 ## - titre traduit ajouté par le catalogueur
titre traduit Efficient and effective software verifications for scientific applications using static analysis and code instrumentation
langue du titre traduit eng
-- rameau
606 ## - Mot Matière
Numéro de notice d'autorité 053469844
Element d'entrée Logiciels
Subdivision de sujet Vérification
Numéro de notice d'autorité 027253139
Subdivision de sujet Thèses et écrits académiques
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 027235912
-- ba0yba0y
Element d'entrée Langages de programmation
Numéro de notice d'autorité 027253139
Subdivision de sujet Thèses et écrits académiques
Code du système d'indexation rameau
610 ## - sujets
sujet Vérification programme
610 ## - sujets
sujet Variable
610 ## - sujets
sujet Procédure
610 ## - sujets
sujet Logiciel
610 ## - sujets
sujet Code calcul
610 ## - sujets
sujet Analyse
610 ## - sujets
sujet COMPILATION
610 ## - sujets
sujet INSTRUMENTATION DE PROGRAMME
610 ## - sujets
sujet LANGAGE FORTRAN
615 ## - catégorie sujet
Catégorie INFORMATIQUE-INTELLIGENCE ARTIFICIELLE
615 ## - catégorie sujet
Catégorie H-LOGICIEL
700 #1 - auteur
numéro de la notice d'autorité 076958779
Lien 388309
Nom de l'auteur Nguyen
Prénom Thi Viet Nga
dates 19..-
702 #1 - nom de personne - mention de responsabilité secondaire
numéro de la notice d'autorité 076958639
élément d'entrée
partie du nom autre que l'élément d'entrée François
code de fonction Directeur de thèse
Lien 420150
712 0# - collectivité - mention de responsabilité secondaire
Numéro de la notice autorité 026375249
-- ba0yba0y
Elément d'entrée
Elément ajouté au nom ou qualificatif Paris
Code de fonction Organisme de soutenance
Code Koha Interne 428739
801 #3 - source de catalogage
Date de la transaction 20171215
909 ## - type de document et support matériel
Type de document Thèses
930 ## -
-- 771862302:423092278
-- 771862302
-- 02 NGU
-- g
991 ## -
-- 771862302:423092278
-- exemplaire créé automatiquement par l'ABES
915 ## -
-- 751062310:598833757
-- EMP 150.760 CCL.TH. 1063
-- EMP72085D
930 ## -
-- 751062310:598833757
-- 751062310
-- EMP 150.760 CCL.TH. 1063
-- g
995 ## - Exemplaires
-- Thèse EMP
995 ## - Exemplaires
-- Thèse EMP
995 ## - Exemplaires
-- EM AI CI200-3598
Holdings
Perdu Origine geographique du document Localisation cote Statut de l'exemplaire Propri
Présent Bib. Paris Bib. Paris EMP 150.759 CCL.TH.1063 Empruntable Publications de l'Ecole
Présent Bib. Paris Bib. Paris EMP 150.760 CCL.TH.1063 Empruntable Publications de l'Ecole
Présent Centre de recherche en informatique Centre de recherche en informatique 02 NGU Sur demande Centre de Recherche en Informatique

Powered by Koha