Search in Bubok

Integration Of SMT-Solver In Event-B Patterns

Tax and delivery costs not included
  • 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
See full profile


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