La spécification formelle avec Z
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | La spécification formelle avec Z / David Lightfoot; trad. par Henri Habrias et Pierre-Marie Delpech |
Publié : |
Toulouse :
Teknéa
, 1994 31-L'Union : Impr. Paragraphic |
Description matérielle : | 1 vol. (XIII-191 p.) |
Traduction de : | Formal specification using Z |
Sujets : |
Bibliographie : | Notes bibliogr. Index |
---|---|
ISBN : | 2-87717-038-1 |