Titre :	Spécifications algébriques, algorithmique et programmation
Type de document :	texte imprimé
Auteurs :	Jean-François Dufourd, Auteur ; Dominique Bechmann, Auteur ; Yves Bertrand, Auteur
Editeur :	Paris : InterEditions
Année de publication :	1995
Collection :	IIA Informatique, intelligence artificielle
Importance :	XV-486 p.
Présentation :	ill., couv. ill. en coul.
Format :	23 cm
ISBN/ISSN/EAN :	978-2-7296-0581-0
Note générale :	Bibliogr. p. 474-478. Index
Langues :	Français (fre)
Mots-clés :	Algorithmes  Génie logiciel  Spécifications  Programmation ( mathématiques)

Spécifications algébriques, algorithmique et programmation [texte imprimé] / Jean-François Dufourd, Auteur ; Dominique Bechmann, Auteur ; Yves Bertrand, Auteur . - Paris : InterEditions, 1995 . - XV-486 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique, intelligence artificielle) .
ISBN : 978-2-7296-0581-0
Bibliogr. p. 474-478. Index
Langues : Français (fre)

Mots-clés :

Algorithmes  Génie logiciel  Spécifications  Programmation ( mathématiques)