https:// drenas - Books by this author - Bubok

Skype: daniel.herranz.bubok

Whatsapp: +34 656 851 494

Connect

Do you write? Log in or Register
BOOKSTORE AREA

Search in Bubok

drenas

Integration Of SMT-Solver In Event-B Patterns

Integration Of SMT-Solver In Event-B Patterns

See book

Go to Bubok

Author area

Information

Community

Countries

Go to Bubok

Contact details

Madrid 91 290 44 90

Portugal 308 804 234

Administration administracion@bubok.com

Publishing services servicios@bubok.com

Colombia (1) 3824824

Mexico (55) 27890384

Budgets asesoria@bubok.com

Press prensa@bubok.com

You have 0 product in Shopping cart

Show