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 : 035004355Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/035004355/idCopier cet URI
Notice de type Rameau

Point d'accès autorisé

B (méthode formelle)

Variantes de point d'accès

B (langage de programmation)
[Nom commun]
Méthode B (informatique)
[Nom commun]

Source

Encycl. de l'informatique et des systèmes d'information, 2006 (art. : Méthodes formelles pour l'ingénierie des protocoles)
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
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)

Identifiants externes

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb12569468f

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Informations sur la notice

Identifiant de la notice : 035004355
RCR créateur de la notice : 0004
Date de création : 18-06-1997
RCR dernier modificateur de la notice : 1999
Date de dernière modification : 22-02-2019 à 16 h 49

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