Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 6 de 6
Formal Methods for Computational Systems Biology
Autor/Editor: Bernardo, Marco  Degano, Pierpaolo  Zavattaro, Gianluigi
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-68894-5
    + info
Formal Methods for Dynamical Systems
Autor/Editor: Bernardo, Marco  Vink, Erik  Pierro, Alessandra  Wiklicky, Herbert
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38874-3
    + info
Formal Methods for Executable Software Models
Autor/Editor: Bernardo, Marco  Damiani, Ferruccio  Hähnle, Reiner  Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07317-0
    + info
Formal Methods for Model-Driven Engineering
Autor/Editor: Bernardo, Marco  Cortellessa, Vittorio  Pierantonio, Alfonso
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30982-3
    + info
Formal Methods for Multicore Programming
Autor/Editor: Bernardo, Marco  Johnsen, Einar Broch
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-18941-3
    + info
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Autor/Editor: Bernardo, Marco  De Nicola, Rocco  Hillston, Jane
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-34096-8
    + info
  registros 1 al 6 de 6