Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 6 de 6
Computer Aided Verification
Autor/Editor: Kroening, Daniel  Păsăreanu, Corina S.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21668-3
    + info
Computer Aided Verification
Autor/Editor: Kroening, Daniel  Păsăreanu, Corina S.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21690-4
    + info
Decision Procedures
Autor/Editor: Kroening, Daniel  Strichman, Ofer
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-74105-3
    + info
Decision Procedures
Autor/Editor: Kroening, Daniel  Strichman, Ofer
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-50497-0
    + info
Validation of Evolving Software
Autor/Editor: Chockler, Hana  Kroening, Daniel  Mariani, Leonardo  Sharygina, Natasha
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10623-6
    + info
Verified Software: Theories, Tools and Experiments
Autor/Editor: Giannakopoulou, Dimitra  Kroening, Daniel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12154-3
    + info
  registros 1 al 6 de 6