registros 1 al 5 de 5
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
Fundamental Approaches to Software Engineering
Autor/Editor: Egyed, Alexander  Schaefer, Ina
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46675-9
    + info
Principled Software Development
Autor/Editor: Müller, Peter  Schaefer, Ina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98047-8
    + info
Software Engineering and Formal Methods
Autor/Editor: Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92970-5
    + info
Software Reuse for Dynamic Systems in the Cloud and Beyond
Autor/Editor: Schaefer, Ina  Stamelos, Ioannis
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14130-5
    + info
  registros 1 al 5 de 5