Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 5 de 5
Theoretical Aspects of Computing – ICTAC 2013
Autor/Editor: Liu, Zhiming  Woodcock, Jim  Zhu, Huibiao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39718-9
    + info
Theories of Programming and Formal Methods
Autor/Editor: Liu, Zhiming  Woodcock, Jim  Zhu, Huibiao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39698-4
    + info
Unifying Theories of Programming and Formal Engineering Methods
Autor/Editor: Liu, Zhiming  Woodcock, Jim  Zhu, Huibiao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39721-9
    + info
Verified Software: Theories, Tools, Experiments
Autor/Editor: Meyer, Bertrand  Woodcock, Jim
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-69149-5
    + info
Verified Software: Theories, Tools, Experiments
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  Shankar, Natarajan  Woodcock, Jim
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-87873-5
    + info
  registros 1 al 5 de 5