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
Formal Methods and Software Engineering
Autor/Editor: Merz, Stephan  Pang, Jun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11737-9
    + info
Interactive Theorem Proving
Autor/Editor: Blanchette, Jasmin Christian  Merz, Stephan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-43144-4
    + info
Temporal Logic and State Systems
Autor/Editor: Kröger, Fred  Merz, Stephan
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-68635-4
    + info
  registros 1 al 3 de 3