(1 resultados)

93,60€(IVA inc.)

Deductive Software Verification - The KeY Book
  • Ahrendt, Wolfgang
  • 978-3-319-49811-9
  • 2016-12-27