Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 7 de 7
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 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
Integrated Formal Methods
Autor/Editor: Johnsen, Einar Broch  Petre, Luigia
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38613-8
    + info
Service-Oriented and Cloud Computing
Autor/Editor: Aiello, Marco  Johnsen, Einar Broch  Dustdar, Schahram  Georgievski, Ilche
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44482-6
    + info
Service-Oriented and Cloud Computing
Autor/Editor: De Paoli, Flavio  Schulte, Stefan  Johnsen, Einar Broch
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67262-5
    + 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
Theory and Practice of Formal Methods
Autor/Editor: Ábrahám, Erika  Bonsangue, Marcello  Johnsen, Einar Broch
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30734-3
    + info
  registros 1 al 7 de 7