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
Formal Methods for Industrial Critical Systems
Autor/Editor: Núñez, Manuel  Güdemann, Matthias
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19458-5
    + info
Software Engineering and Formal Methods
Autor/Editor: Counsell, Steve  Núñez, Manuel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-05032-4
    + info
  registros 1 al 2 de 2