Documentation Documentation
Identifiant IdRef : 02894061X
Notice de type Personne

Point d'accès autorisé

Cousot, Patrick

Information

Langue d'expression : Francais

Source

Analyse statique de systèmes synchrones communicants à horloges imparfaites par interprétation abstraite à temps-continu / par Julien Bertrane ; sous la direction de Patrick Cousot. Thèse, Palaiseau, 2008

Information trouvée : Directeur de thèse

Introduction à l'algorithmique numérique et à la programmation en Pascal / P. Cousot, 1987

Autres identifiants

Identifiant BNF : FRBNF120672280

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

... Références liées : ...