Titre :	Program development by refinement : case studies using the B method : with 89 figures
Type de document :	texte imprimé
Auteurs :	E. Sekerinski, Auteur ; K. Sere, Auteur
Mention d'édition :
Editeur :	Dordrecht : Springer
Année de publication :	1999
Importance :	334 p.
Présentation :	ill.
Langues :	Anglais (eng)
Catégories :	[Thesaurus]Sciences et Techniques:Sciences:Informatique:Programmation informatique
Mots-clés :	Language B

Program development by refinement : case studies using the B method : with 89 figures [texte imprimé] / E. Sekerinski, Auteur ; K. Sere, Auteur  . -   . - Dordrecht : Springer, 1999 . - 334 p. : ill.
Langues : Anglais (eng)

Catégories :	[Thesaurus]Sciences et Techniques:Sciences:Informatique:Programmation informatique
Mots-clés :	Language B