https://www.imosver.com/en/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_EnglishIautor_Castéran, Pierresaga_Texts in Theoretical Computer Science. An EATCS Series
Artículo
Interactive Theorem Provi
Castéran Pierre
SPRINGER
Cookie Notice
We use cookies to ensure you get the best experience on our website.
Read cookie policy.
Gestionar preferencias de cookies
This type of cookie allows the user to browse a website, platform, or application and to use the different options or services that exist on it.
imosverlaravel_session
Description
This cookie is necessary for the website to function and cannot be disabled in our systems.
Duration
Sesión
Dependencies
Domain
imosver.com
OCT8NE
Description
This cookie is used for the proper functioning of the Oct8ne Chat to provide customer support service to the user.
These are those that enable the tracking and analysis of user behavior on our website. The information collected is used to measure user activity on the website and to create user browsing profiles.
_clsk
Description
It records statistical data about the visitor's behavior on the website. This is used for internal analysis by the website operator.
Duration
1 year
Dependencies
_clsk,MUID,_clck
Domain
logglytrackingsession
Description
Identifies and records the user session for analytical purposes.
Duration
Sesión
Dependencies
Domain
.imosver.com
GOOGLE_ANALYTICS
Description
Records a unique identifier that is used to generate statistical data about how the visitor uses the website.
Duration
1 year
Dependencies
Domain
.imosver.com
These are the ones that allow us to adapt the navigation on our website to your preferences (e.g., language, browser used, etc.).
_fbp
Description
Used by Facebook to offer a series of advertising products, such as real-time bids from third-party advertisers.
