Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : B 2007 [Texte électronique] : formal specification and development in B : proceedings / 7th International Conference of B Users, Besançon, France, January 17-19, 2007 ; Jacques Julliand ... [et al.] (eds.)

Publication : Berlin : Springer, 2006

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science ; Vol. 4355

Autre(s) auteur(s) : International Conference of B Users (7 ; Besançon, France2007)  Voir les notices liées en tant qu'auteur
Julliand, Jacques. Fonction indéterminée  Voir les notices liées en tant qu'auteur
International Conference of B Users. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : B (méthode formelle)  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  005.133 (23e éd.) = Langages de programmation particuliers [Swift]  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540687610

Identifiant de la notice  : ark:/12148/cb446939991

Notice n° :  FRBNF44693999 (notice reprise d'un réservoir extérieur)