Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 1 de 1
Automated Technology for Verification and Analysis
Autor/Editor: D'Souza, Deepak  Kumar, K. Narayan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68167-2
    + info
  registros 1 al 1 de 1