Model Checking
  • ISBN: 978-0-262-03883-6
  • Editorial: MIT Press
  • Encuadernacion: Rústica
  • Páginas: 424
  • Fecha Publicación: 01/01/2019
  • Nº Volúmenes: 1
  • Idioma: Inglés