Une sémantique algébrique pour une spécification différenciee des exceptions et des erreurs
Subtitle: application à l'implementation et aux primitives de structuration des spécifications formelles
By: Gilles Bernot
Contributors: Université de Paris
Published: 1986
Language: fre
Notes: Thesis (doctoral)--Université de Paris, 1986.