Titre : Introduction à la spécification


Henri Habrias
Hervé Gallaire (1944-....). Préfacier, etc.
Paris Milan Barcelone
Masson
cop. 1993
1 vol. (XIX-347 p.) : ill., couv. ill ; 24 cm

xx Z (méthode formelle)
xx Logiciels-- Spécifications
xx Logiciels-- Développement
xx Génie logiciel
xx Systèmes d'information-- Spécifications
2-225-82768-0

Bibliogr. p.[319]-340. Index

Exemplaires

Powered by Koha

LocalisationCoteSituation
Bib. Paris   EMP 113.841