Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 7 de 7
Formal Methods and Software Engineering
Autor/Editor: Ogata, Kazuhiro  Lawford, Mark  Liu, Shaoying
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47846-3
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying  Duan, Zhenhua
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17404-4
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39277-1
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying  Duan, Zhenhua
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04915-1
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying  Duan, Zhenhua
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-31220-0
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying  Duan, Zhenhua  Tian, Cong  Nagoya, Fumiko
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57708-1
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Tian, Cong  Nagoya, Fumiko  Liu, Shaoying  Duan, Zhenhua
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90104-6
    + info
  registros 1 al 7 de 7