bubok.com use cookies to customize and provide you with the best shopping experience. By continuing to use our site, you consent to our Cookie. OK
Search Bubok

Integration Of SMT-Solver In Event-B Patterns

USD 12.66
Quantity
+
Add to Cart
Buy Now
Product Details:
  • Author: Eman Karam El-Sayed
  • Co-Author: Gaber El-Sharawy, Enas El-Sayed
  • Status: Public
  • Number of pages: 57
  • Size: 216x279
  • Inside: Black and white
  • Binding: Perfect bound
  • Cover finish: Glossy
  • Downloads: 26

 

     
No Comments about this book Sign up to comment about this book


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 email

Insert a valid email

Choose the manuscript status

Thanks for contacting Bubok, your message has been sent successfully. A person from our customer counseling department will contact you as soon as possible.
Send
When Nothing Is Impossible.
When Nothing Is Impossible.
Impossible is nothing. With that as his motto, Spanish surgeon Diego González Rivas takes up his fight against cancer and pain. Using his [...] See book
12 books bought
from POLAND