Favoris
Panier

Menu
Livres Tout voir
Tous les livres
Tous les livres Tout voir
Littérature Tout voir
Offres et sélections littérature
Meilleures ventes
Nouveautés
Coups de cœur
À paraître
Prix littéraires
Découvrez l'univers Littérature
Romans
Polars
Romances
New Romances
Fantasy et Sciences-Fiction
Pléiades
Livres collectors et de luxe
Livres en anglais
Livres de poche
Livres enfants Tout voir
Offres et sélections Jeunesse
Meilleures ventes
Nouveautés
Coups de cœur
À paraître
Découvrez l'univers Livres enfants
Livres 0-3 ans
Livres 3-6 ans
Livres 6-9 ans
Livres 9-12 ans
Livres 6-12 ans
Documentaires
Loisirs & jeux
Conteuses à histoires
Promos livres enfants
Livres Ados et Young Adults Tout voir
Offres et sélections livres Ados et Young Adults
Meilleures ventes
Coup de coeur
Nouveautés
A paraître
Découvrez l'univers livres Ados et Young Adults
Collectors reliés
Romans, témoignages & co
Mondes Fantastiques
Bit-lit, Magie et Créatures
Suspense
Romances Ados
Mangas Tout voir
Offres et sélections Mangas
Meilleures ventes
Coup de coeur
Nouveautés
A paraître
Découvrez l'univers Mangas
Mangas collectors
Mangas shonen
Mangas shojo
Mangas seinen
Mangas Kodomo (enfants)
Mangas Yaoi
Mangas Yuri
Mangas Josei (femmes)
Manhwa (coréen)
BD et Humour Tout voir
Offres et sélections Bandes dessinées et humour
Meilleures ventes
Coup de coeur
Nouveautés
A paraître
BD à moins de 5 €
Découvrez l'univers BD et Humour
BD tout public
BD jeunesse
Comics
Humour
Autour de la BD
BD collectors
Bien-être et Vie pratique Tout voir
Univers Bien-être & vie pratique
Meilleures ventes
Coup de coeur
Nouveautés
A paraître
Découvrez l'univers Bien-être et Vie pratique
Cuisine & vins
Régimes & minceur
Santé & bien-être
Développement personnel
Esotérisme
Loisirs créatifs pour adultes
Décoration, jardinage et bricolage
Mode de vie durable
Erotisme et sexualité
Couple, enfant & famille
Organisation familiale
Arts et Société Tout voir
Offres et sélections Arts, société et sciences humaines
Meilleures ventes
Coup de coeur
Nouveautés
Top à paraitre
Découvrez l'univers Arts, Société et Sciences humaines
Histoire
Arts, cinéma & musique
Philosophie, sociologie & ethnologie
Actualité, politique & faits de société
Religions
Loisirs, Nature et Voyages Tout voir
Offres et sélections Loisirs, nature & voyages
Meilleures ventes
Coup de coeur
Nouveautés
A paraître
Découvrez l'univers Loisirs, Nature et Voyages
Voyages & tourisme
Cartes, atlas & plans
Beaux livres pays
Sports
Nature & animaux
Développement durable
Brico-déco & jardin
Loisirs créatifs pour adultes
Scolaire et Pédagogie Tout voir
Offres et sélections Scolaire et pédagogie
Meilleures ventes
Nouveautés
A paraître
Liste Scolaire
Découvrez l'univers Scolaire et Pédagogie
Manuels scolaires
Soutien scolaire
Pédagogie & formation
Orientation
Dictionnaires
Langues et livres en VO Tout voir
Langues et livres en VO
Français Langue étrangère
Anglais
Espagnol
Allemand
Italien
Portugais
Arabe
Chinois
Japonais
Russe
Autres langues
Médecine, sciences et techniques Tout voir
Médecine, sciences et techniques
Médecine et paramédical
Psychologie et psychanalyse
Physique, chimie et biologie
Mathématiques
Bâtiment
Ecologie
Entreprise, emploi, droit et économie Tout voir
Entreprise, emploi, droit et économie
Droit
Economie et finances
Comptabilité et gestion
Management et marketing
Carrière, emploi et concours
Orientation et métiers
Informatique
Informatique Tout voir
Livres d'occasion Tout voir
Littérature Tout voir
Littérature
Nouveautés
Nouvel arrivage de Romans
Nouvel arrivage de Polars
Découvrez l'univers Littérature
Livres de poche
Romans
Polars
Romances
SF et Fantasy
Jeunesse Tout voir
Jeunesse Occasion
Nouveautés Jeunesse
Découvrez l'univers Jeunesse
0-3 ans
3-6 ans
6-9 ans
9-12 ans
Romans Ados
Documentaires
BD et Mangas Tout voir
Univers BD et Mangas - Occasion
Nouveautés BD Mangas
Découvrez l'univers BD et Mangas
Mangas
BD Adultes
BD Enfants
Comics
Humour
Scolaire et Pédagogie Tout voir
Découvrez l'univers Scolaire et Pédagogie
Petits classiques parascolaires
Apprentissage de l'anglais
Pédagogie
Dictionnaires
Apprentissage des langues
Lycée général et technologique
Bien-être et Vie pratique Tout voir
Bien-être et Vie pratique - Occasion
Nouveaux Arrivages
Découvrez l'univers Bien-être et Vie pratique
Cuisine
Santé
Développement personnel
Ésotérisme
Jardinage
Loisirs
Couple Famille
Arts, Cinéma et Musique Tout voir
Découvrez l'univers Arts, Cinéma et Musique
Actualités médias
Cinéma
Techniques artistiques
Beaux arts
Photographie
Musique et danse
Décoration
Tourisme, Nature et Voyages Tout voir
Découvrez l'univers Tourisme, Nature et Voyages
Guides France
Guides étrangers
Sport
Animaux et nature
Sciences, médecine et Informatique Tout voir
Découvrez l'univers sciences, médecine et informatique
Généralités et spécialités médicales
Psychologie et psychanalyse
Développement durable et écologie
Paramédicale
Sciences sociales Tout voir
Découvrez l'univers Sciences sociales
Religion
Philosophie
Histoire
Sociologie
Sciences politiques
Faits de société
Géographie
Reprise de livres
Reprise de livres Tout voir
Ebooks et liseuses Tout voir
Tous les ebooks et liseuses
Tous les ebooks et liseuses Tout voir
Liseuses
Liseuses Tout voir
Littérature
Littérature Tout voir
Bien-être et vie pratique
Bien-être et vie pratique Tout voir
Loisirs, nature et voyages
Loisirs, nature et voyages Tout voir
Arts, société et sciences humaines
Arts, société et sciences humaines Tout voir
Jeunesse
Jeunesse Tout voir
BD et humour
BD et humour Tout voir
Scolaire et pédagogie
Scolaire et pédagogie Tout voir
Entreprise, emploi, droit et économie
Entreprise, emploi, droit et économie Tout voir
Médecine, sciences et techniques
Médecine, sciences et techniques Tout voir
Langues et ebooks en VO
Langues et ebooks en VO Tout voir
Livres audio
Livres audio Tout voir
Agendas et calendriers Tout voir
Agendas et Calendriers Tout voir
Découvrez l'univers Agendas et Calendriers
Agendas et calendriers scolaires
Agendas annuels et organiseurs
Calendriers
Calendriers et agendas familiaux
Jeux et Loisirs Tout voir
Types de Jeux Tout voir
Type de jeux
Jeux primés
Coup de coeur
Guide des jeux
Découvrez l'univers Jeux
Jeux solo
Jeux à deux
Jeux coopératifs
Escape games et jeux d'enquête
Puzzles et casse-têtes
Jeux pour enfants Tout voir
Découvrez l'univers Jeux pour enfants
Jouets en bois (3 ans et moins)
Jeux pour les 3 à 8 ans
Jeux pour les 8 à 12 ans
Imagination et construction
Jeux éducatifs
Jeux famille et Adultes Tout voir
Jeux famille et adultes
Idées cadeaux
Découvrez l'univers Jeux famille et Adultes
Jeux d'ambiance
Jeux de famille
Jeux de société classiques
Jeux de voyage
Jeux de stratégie
Jeux de réflexion
Jeux de cartes
Puzzles et Casse-têtes Tout voir
Découvrez l'univers Puzzles et Casse-têtes
Puzzles 60 à 500 pièces
Puzzles 500 à 1000 pièces
Puzzles Disney
Puzzles Ravensburger
Loisirs Créatifs pour adultes Tout voir
Loisirs créatifs pour adultes
Art therapy et Cartes à gratter
Booknook
Découvrez l'univers Loisirs Créatifs pour adultes
Aquarelle
Art Thérapie
Broderie & point de croix
Couture & tricot
Coloriages
Poterie, céramique & mosaïque
Dessin
Travail du papier
Loisirs Créatifs pour enfants Tout voir
Découvrez l'univers Loisirs Créatifs pour enfants
Bricolage & création
Jeux d'ambiance et de stratégie
Jeux de société classiques
Cuisine pour enfants
Modelage & pâte à sel
Papier & carton
Peinture & dessin
Perles & bijoux
Papeterie et Bureau Tout voir
Papeterie Scolaire Tout voir
Découvrez l'univers Papeterie Scolaire
Supports d'écriture
Carnets et répertoires
Feuilles simples et copies doubles
Dessin
Ecriture
Correction
Calculatrices scientifiques
Bureau Tout voir
Découvrez l'univers Bureau
Classement
Accessoires scolaires & bureautique
Bureautique & consommables
Calculatrices et accessoires
Supports d'impression
Blocs et registres
Courrier
Bureautique et informatique
Agendas et Calendriers Tout voir
Découvrez l'univers Agendas et Calendriers
Agendas et calendriers scolaires
Agendas annuels et organiseurs
Calendriers
Calendriers et agendas familiaux
Maroquinerie scolaire Tout voir
Découvrez l'univers Maroquinerie et Accessoires
Maroquinerie scolaire
Maroquinerie
Maroquinerie fantaisie
Beaux arts Tout voir
Découvrez l'univers beaux-arts
Supports beaux arts
Accessoires beaux arts
Techniques beaux arts
Belle papeterie Tout voir
Découvrez l'univers belle papeterie
Beaux stylos
Livre d’écriture
Albums photos
Papeterie fantaisie
Carterie et cadeaux
- Mes listes
Bons plans
Nouveautés
Coups de coeur
Événements
Livres d'occasion

Accueil

/

Gilles Barthe

Gilles Barthe

Dernière sortie

Verification, Model Checking, and Abstract Interpretation

Format

Les livres de Gilles Barthe

L'enfance spirituelle

L'enfance spirituelle

Gilles Barthe

E-book

7,49 €

Offrir maintenant

Ou planifier dans votre panier

L'enfance spirituelle

L'enfance spirituelle

Gilles Barthe

E-book

7,49 €

Offrir maintenant

Ou planifier dans votre panier

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

96,29 €

1

Retrouvez les livres de Gilles Barthe dans les rayons suivants

Ebooks & Liseuses

/

Arts, société & sciences humaines

/

Religions

/

Catholicisme - vie chrétienne

Livres

/

Médecine, sciences, techniques

/

Mathématiques

/

Mathématiques - préparations aux examens

/

Mathématiques pour l'informatique

Nos conseils de libraires

Suivez notre actualité

Les nouveautés & actualités
Coups de coeur libraires
Bons plans

Centre d'aide

Foire aux questions
Livraison
Paiement sécurisé
Retours et remboursements
Aide numérique
Service client

Produits & services

Carte cadeau
Reprise de livres
Pass culture
Le blog decitre.fr

Notre entreprise

Qui sommes-nous ?
Nos librairies
Nous rejoindre
Decitrepro.fr
Base ORB

À propos

Informations légales
Politique de confidentialité
Paramètres de cookies
CGV
CGV e-reservation
Plan du site

Découvrez nos marques

& retrouvez nos librairies un peu partout en France

Nord (59) —
Dunkerque
Lille
Roubaix
Villeneuve d'asq
Englos
Douai
Valenciennes
Cambrai

Pas-de-Calais (62) —
Coquelles
Béthune
Lens
Arras
Louvroil

Hauts-de-Seine (92) —
Levallois-Perret

Val-de-Marne (94) —
Arcueil

Rhône (69) —
Lyon
Ecully

Savoie (73) —
Chambéry

Haute-Savoie (74) —
Annecy

Isère (38) —
Grenoble

Decitre & Furet du Nord 1907 - 1936 - 2025 ©

Accéder à l'espace professionnel

Accéder à l'espace professionnel