Notice RAMEAU

  • 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)


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

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

Identifiant de la notice  : ark:/12148/cb12569468f
Notice n° :  FRBNF12569468

Création :  97/06/18
Mise à jour :  10/10/26


Notices bibliographiques liées

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