- EAN13
- 9782877170383
- ISBN
- 978-2-87717-038-3
- Éditeur
- Teknéa
- Date de publication
- 1994
- Langue
- français
- Langue d'origine
- anglais
- Fiches UNIMARC
- S'identifier
La spécification formelle avec Z
De David Lightfoot
Traduit par Henri Habrias, Pierre-Marie Delpech
Teknéa
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
-
Pierre Abélard, Colloque international de NantesJean Jolivet, Henri HabriasPresses universitaires de Rennes24,00 -
ZB 2002, Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting]International Z and B conference[Apcb]
