registros 1 al 9 de 9
Dependable Software Engineering: Theories, Tools, and Applications
Autor/Editor: Li, Xuandong  Liu, Zhiming  Yi, Wang
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25942-0
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Liu, Zhiming  Zhang, Zili
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29628-9
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Bowen, Jonathan P.  Liu, Zhiming  Zhang, Zili
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56841-6
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Bowen, Jonathan P.  Liu, Zhiming  Zhang, Zili
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02928-9
    + info
Formal Aspects of Component Software
Autor/Editor: Fiadeiro, José Luiz  Liu, Zhiming  Xue, Jinyun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07602-7
    + info
Foundations of Health Informatics Engineering and Systems
Autor/Editor: Liu, Zhiming  Wassyng, Alan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32355-3
    + info
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
  registros 1 al 9 de 9