Spécification formelle avec B / Habrias, Henri

Public ISBD Titre : Spécification formelle avec B Type de document : texte imprimé Auteurs : Habrias, Henri ; Potet, M.-L. Collab. ; J.-Y. Lafaye Editeur : Paris : Hermes Science Année de publication : 2001 Importance : 416 p. ISBN/ISSN/EAN : 978-2-7462-0302-0 Langues : Français Catégories : 68-XX Computer science :68-99 Computer science (not classified at a more specific level) Mots-clés : language de programation  retro-ingenierie  methode b Index. décimale : IRIN Spécification formelle avec B [texte imprimé] / Habrias, Henri ; Potet, M.-L. Collab. ; J.-Y. Lafaye . - Paris : Hermes Science, 2001 . - 416 p. ISBN : 978-2-7462-0302-0 Langues : Français Catégories : 68-XX Computer science :68-99 Computer science (not classified at a more specific level) Mots-clés : language de programation  retro-ingenierie  methode b Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13710	IRIN/68C67	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible
13709	IRIN/68C67	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1