Analyse de la complexité des programmes par interprétation sémantique
| Autor: | Péchoux, Romain Marion, Jean-Yves. |
|---|---|
| Jazyk: | francouzština |
| Rok vydání: | 2007 |
| Předmět: | |
| Popis: | Thèse de doctorat : Informatique : INPL : 2007. Titre provenant de l'écran-titre. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|