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
Autor/Editor: Biere, Armin  Bloem, Roderick
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08867-9
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Biere, Armin  Nahir, Amir  Vos, Tanja
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39611-3
    + info
  registros 1 al 2 de 2