- Notice
B (méthode formelle)
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
B (langage de programmation)
Méthode B (informatique)
B (langage de programmation)
Méthode B (informatique)
Source(s) :
The encycl. of computer languages : http://hopl.murdoch.edu.au (2010-10-22) . - FOLDOC : computing dict. : http://foldoc.org (2010-10-25) . - La méthode de spécification formelle B : construction de modèles mathématique / J.-R. Abrial, 1995 . - Encycl. de l'informatique et des systèmes d'information, 2006 (art. : Méthodes formelles pour l'ingénierie des protocoles) . - The B language and method : a guide to practical formal development / K. Lano, 1996
The encycl. of computer languages : http://hopl.murdoch.edu.au (2010-10-22) . - FOLDOC : computing dict. : http://foldoc.org (2010-10-25) . - La méthode de spécification formelle B : construction de modèles mathématique / J.-R. Abrial, 1995 . - Encycl. de l'informatique et des systèmes d'information, 2006 (art. : Méthodes formelles pour l'ingénierie des protocoles) . - The B language and method : a guide to practical formal development / K. Lano, 1996
Domaine(s) : 621
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : B (Computer program language) http://id.loc.gov/authorities/subjects/sh85010695
- LCSH (Library of Congress Subject Headings) : B method (Computer science) http://id.loc.gov/authorities/subjects/sh98001960
- LCSH (Library of Congress Subject Headings) : B (Computer program language) http://id.loc.gov/authorities/subjects/sh85010695
- LCSH (Library of Congress Subject Headings) : B method (Computer science) http://id.loc.gov/authorities/subjects/sh98001960
Identifiant de la notice : ark:/12148/cb12569468f
Notice n° :
FRBNF12569468
Création :
97/06/18
Mise à jour :
10/10/26
