Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 4 de 4
Formal Methods
Autor/Editor: Havelund, Klaus  Peleska, Jan  Roscoe, Bill  Vink, Erik de
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95582-7
    + info
Model Checking Software
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  Havelund, Klaus  Majumdar, Rupak  Palsberg, Jens
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-85114-1
    + info
NASA Formal Methods
Autor/Editor: Havelund, Klaus  Holzmann, Gerard  Joshi, Rajeev
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17524-9
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Ábrahám, Erika  Havelund, Klaus
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54862-8
    + info
  registros 1 al 4 de 4