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 Objects, Components, and Systems
Autor/Editor: Albert, Elvira  Lanese, Ivan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39570-8
    + info
Integrated Formal Methods
Autor/Editor: Albert, Elvira  Sekerinski, Emil
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10181-1
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Albert, Elvira
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38197-3
    + info
  registros 1 al 3 de 3