Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 3 de 3
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
Hardware and Software: Verification and Testing
Autor/Editor: Strichman, Ofer  Tzoref-Brill, Rachel
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70389-3
    + info
  registros 1 al 3 de 3