Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 5 de 5
Automated Technology for Verification and Analysis
Autor/Editor: Artho, Cyrille  Legay, Axel  Peled, Doron
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46520-3
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17581-2
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Csaba Ölveczky, Peter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-05416-2
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29510-7
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-53946-1
    + info
  registros 1 al 5 de 5