cx a22 3 45
02894061X
http://www.idref.fr/02894061X
19880219
20231220190853.000
0004
4027
Tp5
0000000109863767
ISNI
VIAF
20200401
https://catalogue.bnf.fr/ark:/12148/cb120672289
BNF
20150918
07404124X
sudoc
frBN00394042X
FRBNF120672280
FRBNF12067228
https://viaf.org/viaf/72073515
VIAF
VIAF
20200401
Q2385483
WIKIDATA
WIKIDATA
20210909
cousot.patrick
ZBMATH
WIKIDATA
20210909
http://viaf.org/viaf/189522726
VIAF
VIAF
20200401
19880219afrey50 ba0
fre
639-2
FR
1948
1974
0
1
0
ba
AFNOR
ba0yba0y
0
Cousot
Patrick
1948-....
informaticien
ba0yba0y
Informaticien. Professeur d'informatique à l'École polytechnique de Paris (en 1987)
ba0yba0y
Auteur d'une thèse de docteur-ingénieur en sciences appliquées (Grenoble 1, 1974) et d'une thèse d'etat en sciences. mathématiques (Grenoble 1/INPG, 1978)
ba0yba0y
Cousot
Patrick M.
SCANR
102020
ESR
FR
Abes
20231220
AFNOR
07404124X
Introduction à l'algorithmique numérique et à la programmation en Pascal / P. Cousot, 1987
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
Directeur de thèse
Définition interprétative et implantation de langages de programmation / par Patrick Cousot ; sous la direction de Michael Griffiths, 1974. - Thèse de docteur-ingénieur : Sciences appliquées : Grenoble 1 : 1974
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes / par Patrick Cousot ; sous la direction de Louis Bolliet, 1978. - Thèse d'Etat : Sciences, Mathématiques : Grenoble 1/INPG : 1978
Typage par interprétation abstraite / Bruno Monsuez ;sous la direction de P. Cousot
Cousot, Patrick (1948-.... ; informaticien)
Cousot, Patrick M.