Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 4 de 4
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Ábrahám, Erika  Palamidessi, Catuscia
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43613-4
    + info
Integrated Formal Methods
Autor/Editor: Ábrahám, Erika  Huisman, Marieke
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-33693-0
    + info
Theory and Practice of Formal Methods
Autor/Editor: Ábrahám, Erika  Bonsangue, Marcello  Johnsen, Einar Broch
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30734-3
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Ábrahám, Erika  Havelund, Klaus
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54862-8
    + info
  registros 1 al 4 de 4