Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 4 de 4
25 Years of Model Checking
Autor/Editor: Grumberg, Orna  Veith, Helmut
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-69850-0
    + info
Computer Aided Verification
Autor/Editor: Sharygina, Natasha  Veith, Helmut
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39799-8
    + info
Handbook of Model Checking
Autor/Editor: Clarke, Edmund M.  Henzinger, Thomas A.  Veith, Helmut  Bloem, Roderick
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-10575-8
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Carbonell, Jaime G.  Siekmann, Jörg  Cervesato, Iliano  Veith, Helmut  Voronkov, Andrei
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-89439-1
    + info
  registros 1 al 4 de 4