drenas

Integration Of SMT-Solver In Event-B Patterns

See book

Comprar Paperback por $ 12.66
Adquirir eBook as PDF Free

Anglosphere
Argentina
Colombia
Spain
France
Mexico
Portugal

Go to Bubok

Author area

My account
Bookstore
How to publish in Bubok?
Help resource
Our author
Cost Calculator
Downloads
Videos

Information

Connect
Legal terms
About us
Press
Friends links
Bubok universe
Affiliate Program
Business Services
Review our books
Sitemap
How our books look like
Third party agreements
What is Bubok?
Edit a book

Community

Blog
Publishing a book
Bestsellers
Specialized bookstores

Countries

Anglosphere
Argentina
Colombia
Spain
France
Mexico
Portugal

Go to Bubok

Facebook
Twitter
Flickr
YouTube
Pinterest
LinkedIn
Google
Instagram

Contact details

Madrid 91 290 44 90

Portugal 308 804 234

Colombia (1) 3824824

Mexico (55) 27890384

Argentina (54) 1159841308

Administration administracion@bubok.com

Publishing services servicios@bubok.com

Budgets asesoria@bubok.com

Press prensa@bubok.com

You have 0 product in Shopping cart

Show

Do you want to lear more on how to publish your work? Leave us your phone and we call you without obligation.

Insert your name

Insert your phone number

Insert your e-mail

Insert a valid email

Manuscript state

Choose the manuscript status

I accept the legal conditions and the privacy policy

Thanks for contacting Bubok, your message has been sent successfully. A person from our customer counseling department will contact you as soon as possible.