Une Sémantique algébrique pour une spécification différentiée des exceptions et des erreurs application à l'implementation et aux primitives de structuration des spécifications formelles.
| Autor: | Bernot, Gilles. |
|---|---|
| Jazyk: | francouzština |
| Rok vydání: | 1986 |
| Popis: | Th. 3e cycle--Math.--Paris 11, 1986. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|