(4 resultados)

Ordenar por

ordenar por...
precio Fecha Public Autor Título
68,64€(IVA inc.)

Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
  • Artho, Cyrille
  • 978-3-319-46519-7
  • 2016-09-22
60,32€(IVA inc.)

Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
  • Artho, Cyrille
  • 978-3-319-17580-5
  • 2015-06-14
60,32€(IVA inc.)

Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
  • Artho, Cyrille
  • 978-3-319-29509-1
  • 2016-02-03
54,08€(IVA inc.)

Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
  • Artho, Cyrille
  • 978-3-319-53945-4
  • 2017-02-16