Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 2 de 2
Formal Methods for Industrial Critical Systems
Autor/Editor: Stoelinga, Mariëlle  Pinger, Ralf
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32469-7
    + info
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor/Editor: Lecomte, Thierry  Pinger, Ralf  Romanovsky, Alexander
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-33951-1
    + info
  registros 1 al 2 de 2