This website, whose manager is Bubok Publishing, s.l., uses cookies (small data files that get stored in your browser), your own data and third parties' data as well, for the operation of the site (necessary), analytics (anonymous analysis of your activity on the website) and social media activity (so that you can interact through them). You can read our política de cookies. You can accept, reject, manage or view more information about said cookies by clicking on the corresponding button.

Accept Reject Settings and further information

drenas

Integration Of SMT-Solver In Event-B Patterns

See book

The readers of this authors also read

Argaes Argaesga

Miguel Angel Sánchez-Tirado Machado

Ramón Javier Castro Amador

habtamufekadu

Vladimir Tereshchenko

Editorial Alvi Books

Go to Bubok

Author area

Information

Community

Countries

Go to Bubok

A cookie is a small data file is stored in your browser each time you visit our website. Its purpose is to save the history of your activity on our website, so that, when you visit it again, our website is able to identify you and configure the content shown on it according to your navigation habits, identity and preferences.

Cookies can be accepted, rejected, blocked and deleted as desired. All this can be carried out through the options available here or the settings of your browser, as the case may be.

If you reject the cookies we cannot guarantee the appropriate functioning of the different functions of our website.

For more information, head to the section "COOKIE POLICY" of our website".

Necessary Always accept

They are the most basic cookies. They allow the user to navigate through a website, online platform or application and the use of the different options or services it provides such as, for instance, being able to access the website's restricted access sections, look up products comprised in a past order, place an order, request the registration or register to an event, use privacy tools when navigating through the site, save audiovisual contents to be able to share them. These cookies are necessary for the appropriate functioning of the website and they cannot be deactivated.

Cookie	Duration	Description
sessid	12 months	Allow the website of Bubok to store information related to the open session of the user
mostrarsabiasqueids	12 months	Allows Bubok to manage relevant data to show to each user, to improve their experience within the website.
ultimoslibros	5 days	Allows Bubok to manage relevant data from the latest purchased books from the Bubok bookstore.
popup_contacto_bubok	24 months	Allows Bubok to manage the visibility of the floating contact form, to improve the user's experience within the website.

Analytical
Analytical

These cookies allow their manager to monitor and to conduct user behavior analyses of the websites the cookies are linked to. The collected data by this type of cookies is used for the measuring of website, application or platform activity and for the creation of navigation profiles of the users of such sites, applications and platforms, aiming to improve them based on the data analysis of the users' website usage. Click on the button below to reject these type of cookies, and if you wish to reactivate them:

Cookie	Duration	Description
_ga	2 years	This cookie is installed by Google Analytics. Said cookie is used to calculate visitor data, sessions, campaigns and monitor website activity for the report of the website analysis. Cookies store data anonymously and allocate a number generated at random to identify each visitor.
_gat_UA-48203744-1	12 months	This is a pattern type cookie established by Google Analytics, in which the pattern element in the name contains a unique identification number of the account or website it is related to. It appears to be a variation of _gat cookie which is used to limit the amount data recorded by Google on high-traffic websites
_gid	1 days	This cookie is installed by Google Analytics. This cookie is used to store information about the way in which the visitors make use of a certain website and helps create an analytical report about the operation of the website. The collected data, including the number of visitors, their origin and the sites, are displayed anonymously
GPS	30 minutes	YouTube establishes this cookie and registers a unique identification to track users according to their geographic location.