La spécification formelle avec z
By: David Lightfoot.
Publisher: Teknea
Published: 1994
Place of publication: Toulouse
Language: fre
Number of pages: 191
Notes: Originally published in English: Basingstoke: Macmillan, 1994 as "Formal specification using Z".