Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 3 de 3
Abstract State Machines, Alloy, B, VDM, and Z
Autor/Editor: Derrick, John  Fitzgerald, John  Gnesi, Stefania  Khurshid, Sarfraz  Leuschel, Michael  Reeves, Steve  Riccobene, Elvinia
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30885-7
    + info
Collaborative Design for Embedded Systems
Autor/Editor: Fitzgerald, John  Gorm Larsen, Peter  Verhoef, Marcel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54118-6
    + info
FM 2016 : Formal Methods
Autor/Editor: Fitzgerald, John  Heitmeyer, Constance  Gnesi, Stefania  Philippou, Anna
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48989-6
    + info
  registros 1 al 3 de 3