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

Auteur(s) : Bert, Didier  Voir les notices liées en tant qu'auteur

Titre(s) : B'98 [Texte électronique] : Recent Advances in the Development and Use of the B Method : Second International B Conference Montpellier, France, April 22-24, 1998 Proceedings / edited by Didier Bert

Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 1998

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 1393

Note(s) : Fichier PDF.

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
B (méthode formelle)  Voir les notices liées en tant que sujet
Débogage  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540697695

Identifiant de la notice  : ark:/12148/cb44694538z

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