La spécification formelle avec Z

La spécification formelle avec Z

Saved in:
Bibliographic Details
Main Authors : Lightfoot David (Auteur), Habrias Henri (Traducteur), Delpech Pierre-Marie (Traducteur)
Format : Book
Language : français
Title statement : La spécification formelle avec Z / David Lightfoot; trad. par Henri Habrias et Pierre-Marie Delpech
Published : Toulouse : Teknéa , 1994
31-L'Union : Impr. Paragraphic
Physical Description : 1 vol. (XIII-191 p.)
Traduction de : Formal specification using Z
Subjects :
Langages de programmation > Modèles mathématiques
Systèmes informatiques
Z (méthode formelle)
Loading