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: Foundations and Applications
Autor/Editor: Gheyi, Rohit  Naumann, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33296-8
    + info
Unifying Theories of Programming
Autor/Editor: Naumann, David
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14806-9
    + info
  registros 1 al 2 de 2