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
Model Checking Software
Autor/Editor: Fischer, Bernd  Geldenhuys, Jaco
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23404-5
    + info
Theoretical Aspects of Computing – ICTAC 2018
Autor/Editor: Fischer, Bernd  Uustalu, Tarmo
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02508-3
    + info
  registros 1 al 2 de 2