Yazar

Gilles Barthe

20 cilt bulundu.

Cilt sonuçları

Trustworthy Global Computing

Gilles Barthe, Cédric Fournet · Springer Science & Business Media

411 sayfa · 2008-03-18

Computers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet · Springer

182 sayfa · 2006-04-28

Computers

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe, Manuel Hermenegildo · Springer

406 sayfa · 2010-01-06

Computers

Foundations of Security Analysis and Design V

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri · Springer Science & Business Media

347 sayfa · 2009-08-17

Business & Economics

Formal Methods for Open Object-Based Distributed Systems

Gilles Barthe, Frank S. de Boer · Springer Science & Business Media

268 sayfa · 2008-05-29

Computers

L'enfance spirituelle

Gilles Barthe · FeniXX

72 sayfa · 1993-01-01T00:00:00+01:00

Religion

CiltWorking Material for the Lectures of Gilles Barthe on Verification Methods for Software Security and CorrectnessGilles Barthe

Working Material for the Lectures of Gilles Barthe on Verification Methods for Software Security and Correctness

Gilles Barthe · Yayınevi bilinmiyor

Sayfa sayısı yok · 2007

Kategori yok

CiltMobility, Ubiquity and SecurityBilinmeyen yazar

Mobility, Ubiquity and Security

Bilinmeyen yazar · Yayınevi bilinmiyor

Sayfa sayısı yok · 2007

Kategori yok

CiltMendiants de DieuEglise catholique. Diocèse (Monaco), Gilles Barthe (Mgr.)

Mendiants de Dieu

Eglise catholique. Diocèse (Monaco), Gilles Barthe (Mgr.) · Yayınevi bilinmiyor

24 sayfa · 1962

Kategori yok

CiltL'Infanzia spirituale di Teresa di LisieuxGilles Barthe

L'Infanzia spirituale di Teresa di Lisieux

Gilles Barthe · Yayınevi bilinmiyor

64 sayfa · 1996

Kategori yok

CiltA Simple Abstract Semantics for Equational TheoriesGilles Barthe

A Simple Abstract Semantics for Equational Theories

Gilles Barthe · Yayınevi bilinmiyor

18 sayfa · 1995

Kategori yok

CiltWeak Normalization Implies Strong Normalization in Generalized Non-dependent Pure Type SystemsGilles Barthe, John Hatcliff, Morten Heine Sørensen

Weak Normalization Implies Strong Normalization in Generalized Non-dependent Pure Type Systems

Gilles Barthe, John Hatcliff, Morten Heine Sørensen · Yayınevi bilinmiyor

90 sayfa · 1997

Kategori yok

CiltStrong Normalisation of Quotient and Subset Types in Higher Order LogicGilles Barthe

Strong Normalisation of Quotient and Subset Types in Higher Order Logic

Gilles Barthe · Yayınevi bilinmiyor

9 sayfa · 1995

Kategori yok

CiltReflections on ReflectionsGilles Barthe, John Hatcliff, Morten Heine Sørensen

Reflections on Reflections

Gilles Barthe, John Hatcliff, Morten Heine Sørensen · Yayınevi bilinmiyor

30 sayfa · 1997

Kategori yok

CiltFormalising Mathematics in UTTGilles Barthe

Formalising Mathematics in UTT

Gilles Barthe · Yayınevi bilinmiyor

39 sayfa · 1995

Kategori yok

CiltMonadic Type SystemsGilles Barthe, John Hatcliff, Peter Thiemann

Monadic Type Systems

Gilles Barthe, John Hatcliff, Peter Thiemann · Yayınevi bilinmiyor

36 sayfa · 1997

Kategori yok

CiltCPS Translations and ApplicationsGilles Barthe, John Hatcliff, Morten Heine Sørensen

CPS Translations and Applications

Gilles Barthe, John Hatcliff, Morten Heine Sørensen · Yayınevi bilinmiyor

78 sayfa · 1997

Kategori yok

CiltA Notion of Classical Pure Type System (extended Abstract)Gilles Barthe, John Hatcliff, Morten Heine Sørensen

A Notion of Classical Pure Type System (extended Abstract)

Gilles Barthe, John Hatcliff, Morten Heine Sørensen · Yayınevi bilinmiyor

62 sayfa · 1997

Kategori yok

CiltCaractère et vocationPaul Griéger

Caractère et vocation

Paul Griéger · Yayınevi bilinmiyor

177 sayfa · 1958

Kategori yok

Immaculate Heart of Mary, Devotion toBerthe Petit, apôtre de cœur douloureux et immaculé de MarieLouis Colin

Berthe Petit, apôtre de cœur douloureux et immaculé de Marie

Louis Colin · Yayınevi bilinmiyor

151 sayfa · 1967

Immaculate Heart of Mary, Devotion to