Accéder aux autres sites de l'Université Mohammed Premier

Documents disponibles écrits par cet auteur

Program development by refinement / E. Sekerinski

Public ISBD 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

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
005.13 SEP	Informatique	Biblio-ENSAO	0000000491301	Exclu du prêt	2471