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, TLA, VDM, and Z
Autor/Editor: Butler, Michael  Schewe, Klaus-Dieter  Mashkoor, Atif  Biro, Miklos
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-33600-8
    + info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Butler, Michael  Raschke, Alexander  Hoang, Thai Son  Reichl, Klaus
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91271-4
    + info
Formal Methods and Software Engineering
Autor/Editor: Butler, Michael  Conchon, Sylvain  Zaïdi, Fatiha
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25423-4
    + info
  registros 1 al 3 de 3