- Notice
Z (méthode formelle)
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Notation Z (informatique)
Z (langage de programmation Ancienne forme retenue)
Notation Z (informatique)
Z (langage de programmation Ancienne forme retenue)
Source(s) :
The encycl. of computer languages : http://hopl.murdoch.edu.au (2010-10-25) . - FOLDOC : computing dict. : http://foldoc.org (2010-10-25) . - La notation Z / J. M. Spivey, 1994 . - La spécification formelle avec Z / D. Lightfoot, 1994 . - Encycl. de l'informatique et des systèmes d'information, 2006 (art. : Méthodes formelles pour l'ingénierie des protocoles)
The encycl. of computer languages : http://hopl.murdoch.edu.au (2010-10-25) . - FOLDOC : computing dict. : http://foldoc.org (2010-10-25) . - La notation Z / J. M. Spivey, 1994 . - La spécification formelle avec Z / D. Lightfoot, 1994 . - Encycl. de l'informatique et des systèmes d'information, 2006 (art. : Méthodes formelles pour l'ingénierie des protocoles)
Domaine(s) : 621
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Z (Computer program language) http://id.loc.gov/authorities/subjects/sh87007136
- LCSH (Library of Congress Subject Headings) : Z (Computer program language) http://id.loc.gov/authorities/subjects/sh87007136
Identifiant de la notice : ark:/12148/cb12258426j
Notice n° :
FRBNF12258426
Création :
92/08/11
Mise à jour :
10/10/25
