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
NASA Formal Methods
Autor/Editor: Dutle, Aaron  Muñoz, César  Narkawicz, Anthony
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-77935-5
    + info
Theorem Proving in Higher Order Logics
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  Ait Mohamed, Otmane  Muñoz, César  Tahar, Sofiène
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-71067-7
    + info
  registros 1 al 2 de 2