Documents disponibles écrits par cet auteur

Modern formal methods and applications / Hossam A. Gabbar

Public ISBD Titre : Modern formal methods and applications Type de document : texte imprimé Auteurs : Hossam A. Gabbar Editeur : Springer Année de publication : 2006 Importance : xxiii, 197 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 1-402-04222-1 Langues originales : Anglais (eng) Index. décimale : 005.13/1 Résumé : Modern formal methods and applications [texte imprimé] / Hossam A. Gabbar . - [S.l.] : Springer, 2006 . - xxiii, 197 p. : ill. ; 25 cm. ISBN : 1-402-04222-1 Langues originales : Anglais (eng) Index. décimale : 005.13/1 Résumé :

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
111918	005.13 GAB	Livre	Library	Repository	Exclu du prêt