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
Integrated Formal Methods
Autor/Editor: Furia, Carlo A.  Winter, Kirsten
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98938-9
    + info
Modeling Time in Computing
Autor/Editor: Furia, Carlo A.  Mandrioli, Dino  Morzenti, Angelo  Rossi, Matteo
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32332-4
    + info
Objects, Models, Components, Patterns
Autor/Editor: Furia, Carlo A.  Nanz, Sebastian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30561-0
    + info
Tests and Proofs
Autor/Editor: Aichernig, Bernhard K.  Furia, Carlo A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41135-4
    + info
  registros 1 al 4 de 4