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
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63387-9
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63390-9
    + info
Model Checking Software
Autor/Editor: Hutchison, David  Kanade, Takeo  Kittler, Josef  Kleinberg, Jon M.  Mattern, Friedemann  Mitchell, John C.  Naor, Moni  Nierstrasz, Oscar  Pandu Rangan, C.  Steffen, Bernhard  Sudan, Madhu  Terzopoulos, Demetri  Tygar, Doug  Vardi, Moshe Y.  Weikum, Gerhard  Havelund, Klaus  Majumdar, Rupak  Palsberg, Jens
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-85114-1
    + info
Runtime Verification
Autor/Editor: Bartocci, Ezio  Majumdar, Rupak
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23820-3
    + info
  registros 1 al 4 de 4