Résolution d'équations en algèbre de Kleene applications à l'analyse de programmes
| Autor: | Lajeunesse-Robert, François. |
|---|---|
| Jazyk: | francouzština |
| Rok vydání: | 2009 |
| Předmět: | |
| Popis: | Thèse (M.Sc.)--Université Laval, 2009. Titre de l'écran-titre (visionné le 16 juin 2009). Bibliogr. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|