(6 resultados)

83,20€(IVA inc.)

Computer Aided Verification
  • Kroening, Daniel
  • 978-3-319-21689-8
  • 2015-07-27
66,56€(IVA inc.)

Computer Aided Verification
  • Kroening, Daniel
  • 978-3-319-21667-6
  • 2015-09-14
84,72€(IVA inc.)

Model Checking
  • Jr., Edmund M. Clark
  • 978-0-262-03883-6
  • 2019-01-01
88,39€(IVA inc.)

Validation of Evolving Software
  • Chockler, Hana
  • 978-3-319-38200-5
  • 2016-10-17
88,39€(IVA inc.)

Validation of Evolving Software
  • Chockler, Hana
  • 978-3-319-10622-9
  • 2015-10-05