Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 2 de 2
Computer Aided Verification. 30th International Conference, Proceedings, Part I
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96145-3
    + info
Computer Aided Verification. 30th International Conference, Proceedings, Part II
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96142-2
    + info
  registros 1 al 2 de 2