La spécification formelle avec Z

La spécification formelle avec Z

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Lightfoot David (Auteur), Habrias Henri (Traducteur), Delpech Pierre-Marie (Traducteur)
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 :
Langages de programmation > Modèles mathématiques
Systèmes informatiques
Z (méthode formelle)
Chargement en cours