https://www.imosver.com/en/libros/formal-specification-techniques-for-engineering-modular-c-programs-00106691110010669111Formal Specification Techniques for Engineering Modular C Programs148.19https://static.serlogal.com/imagenes_small/9780792/978079239653.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9780792/978079239653.jpg0010669106155.9957.81995/11/309780792396536TAN YANG MENGLibrosaño_1995idioma_EnglishIautor_TAN YANG MENGsaga_International Series in Software Engineering
Artículo
Formal Specification Tech
TAN YANG MENG
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.
