Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 3 de 3
Formal Techniques for Distributed Systems
Autor/Editor: Beyer, Dirk  Boreale, Michele
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38592-6
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Beyer, Dirk  Huisman, Marieke
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89960-2
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Beyer, Dirk  Huisman, Marieke
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89963-3
    + info
  registros 1 al 3 de 3