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 Modeling and Analysis of Timed Systems
Autor/Editor: Jansen, David N.  Prabhakar, Pavithra
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00151-3
    + info
Numerical Software Verification. 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Autor/Editor: Bogomolov, Sergiy  Martel, Matthieu  Prabhakar, Pavithra
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-54292-8
    + info
  registros 1 al 2 de 2