bubok.com uses our own cookies and third parties'. If you continue navigation we will consider you accept our política de cookies. OK
Search in Bubok

Integration Of SMT-Solver In Event-B Patterns

Tax and delivery costs not included
USD 12.66
Quantity
+
Add to Cart
Buy Now
Product Details:
  • Author: Eman Karam El-Sayed
  • Co-Author: Gaber El-Sharawy
  • Co-Author: Enas El-Sayed
  • Status: Public
  • Number of pages: 57
  • Size: 216x279
  • Inside: Black and white
  • Binding: Perfect bound
  • Cover finish: Brillo
  • 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 e-mail

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