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: Baier, Christel  Caires, Luís
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92612-4
    + info
Foundations of Software Science and Computation Structures
Autor/Editor: Baier, Christel  Lago, Ugo Dal
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89366-2
    + info
SOFSEM 2017: Theory and Practice of Computer Science
Autor/Editor: Steffen, Bernhard  Baier, Christel  Brand, Mark van den  Eder, Johann  Hinchey, Mike  Margaria, Tiziana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51963-0
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Baier, Christel  Tinelli, Cesare
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46681-0
    + info
  registros 1 al 4 de 4