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. 28th International Conference, CAV 2016, Proceedings, Part I
Autor/Editor: Chaudhuri, Swarat  Farzan, Azadeh
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41528-4
    + info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part II
Autor/Editor: Chaudhuri, Swarat  Farzan, Azadeh
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41540-6
    + info
  registros 1 al 2 de 2