Notice RAMEAU

  • Notice
Méthodes formelles (informatique)



Vedette matière nom commun. S'emploie en tête de vedette.

<<Terme(s) générique(s) :
Systèmes, Conception de

>><<Terme(s) associé(s) : 
Logiciels -- Développement
Génie logiciel

Domaine(s) : 621

Correspondance(s) : 
- 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) 

Notice n° :  FRBNF13539618

Création :  00/01/13
Mise à jour :  00/02/18

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (199)