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
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
Integrated Formal Methods
Autor/Editor: Derrick, John  Gnesi, Stefania  Latella, Diego  Treharne, Helen
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30729-4
    + info
Refinement
Autor/Editor: Derrick, John  Boiten, Eerke
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92711-4
    + info
Refinement in Z and Object-Z
Autor/Editor: Boiten, Eerke A.  Derrick, John
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5355-9
    + info
  registros 1 al 4 de 4