El artículo ha sido añadido
Model Checking
Jr., Edmund M. Clark
Grumberg, Orna
Kroening, Daniel
Peled, Doron
Veith, Helmut
84,72 €(IVA inc.)
- 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
- Inicio /
- /