Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Xavier Leroy
CHF 34.30
Auf Lager
SKU
U8R9U0D7F1D
1 Verfügbar 
Geliefert zwischen Mo., 02.03.2026 und Di., 03.03.2026
Details
High Quality Content by WIKIPEDIA articles! Xavier Leroy (born March 15, 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the Objective Caml system. He is senior scientist (directeur de recherche) at the French government research institution INRIA. Leroy was admitted to the École normale supérieure in Paris in 1987, where he studied mathematics and computer science. From 1989 to 1992 he did his PhD in computer science under the supervision of Gérard Huet. He is an internationally recognized expert on functional programming languages and compilers. In recent years, he has taken an interest in formal methods, formal proofs and certified compilation.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131406959
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- EAN 9786131406959
- Titel Xavier Leroy
- Herausgeber Betascript Publishing
- Anzahl Seiten 80
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
