Formal Verification of Control System Software

Formal Verification of Control System Software

Garoche, Pierre–loïc

52,00 €(IVA inc.)
  • ISBN: 978-0-691-18130-1
  • Editorial: Princeton University Press
  • Encuadernacion: Cartoné
  • Páginas: 224
  • Fecha Publicación: 11/06/2019
  • Nº Volúmenes: 1
  • Idioma: Inglés