https://www.imosver.com/fr/libros/interactive-theorem-proving-and-program-development-00106269530010626953Interactive Theorem Proving and Program Development118.55https://static.serlogal.com/imagenes_small/9783540/978354020854.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9783540/978354020854.jpg0010626937124.7956.242004/05/149783540208549Castéran, PierreLibrosaño_2004idioma_AnglaisIautor_Castéran, Pierresaga_Texts in Theoretical Computer Science. An EATCS Series
Artículo
Interactive Theorem Provi
Castéran Pierre
SPRINGER
Avis sur les Cookies
Nous utilisons des cookies pour vous garantir la meilleure expérience sur notre site.
Lire la politique des cookies.
Gestionar preferencias de cookies
Ce type de cookies permet à l'utilisateur de naviguer sur un site web, une plateforme ou une application et d'utiliser les différentes options ou services qui y existent.
imosverlaravel_session
Description
Ce cookie est nécessaire au fonctionnement du site web et ne peut pas être désactivé dans nos systèmes.
Durée
Sesión
Dépendances
Domaine
imosver.com
OCT8NE
Description
Ce cookie est utilisé pour le bon fonctionnement du Chat Oct8ne afin de fournir le service d'assistance à la clientèle à l'utilisateur.
Ce sont celles qui permettent le suivi et l'analyse du comportement des utilisateurs sur notre site. Les informations collectées sont utilisées pour mesurer l'activité des utilisateurs sur le site web et pour élaborer des profils de navigation des utilisateurs.
_clsk
Description
Il enregistre des données statistiques sur le comportement des visiteurs sur le site web. Ceci est utilisé pour des analyses internes par l'opérateur du site.
Durée
1 année
Dépendances
_clsk,MUID,_clck
Domaine
logglytrackingsession
Description
Identifie et enregistre la session de l'utilisateur à des fins analytiques.
Durée
Sesión
Dépendances
Domaine
.imosver.com
GOOGLE_ANALYTICS
Description
Enregistre un identifiant unique qui est utilisé pour générer des données statistiques sur la façon dont le visiteur utilise le site web.
Durée
1 année
Dépendances
Domaine
.imosver.com
Ce sont celles qui nous permettent d'adapter la navigation sur notre site web à vos préférences (ex. : langue, navigateur utilisé, etc.).
_fbp
Description
Utilisé par Facebook pour proposer une série de produits publicitaires, tels que des offres en temps réel de publicitaires tiers.
