Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 5 de 5
Coalgebraic Methods in Computer Science
Autor/Editor: Bonsangue, Marcello M.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44124-4
    + info
Formal Methods for Components and Objects
Autor/Editor: Aichernig, Bernhard K.  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25271-6
    + info
Formal Methods for Components and Objects
Autor/Editor: Beckert, Bernhard  Damiani, Ferruccio  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35887-6
    + info
Formal Methods for Components and Objects
Autor/Editor: Giachino, Elena  Hähnle, Reiner  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40615-7
    + info
Formal Methods for Components and Objects
Autor/Editor: Boer, Frank S. de  Bonsangue, Marcello M.  Graf, Susanne, Roever, Willem-Paul de
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-92188-2
    + info
  registros 1 al 5 de 5