- Notice
Méthodes formelles (informatique)
Vedette matière nom commun. S'emploie en tête de vedette.
Domaine(s) : 621
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622
- LCSH (Library of Congress Subject Headings) : Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622
Correspondance(s) exacte(s) :
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Méthodes formelles (informatique)
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Méthodes formelles (informatique)
Identifiant de la notice : ark:/12148/cb13539618z
Notice n° :
FRBNF13539618
Création :
00/01/13
Mise à jour :
00/02/18
