Resultados da pesquisa por Autor

1

Theories of programming and formal methods Essays dedicated to Jifeng He on the occasion of his 70th birthday /

Theories of programming and formal methods Essays dedicated to Jifeng He on the occasion of his 70th birthday /

Por Liu, Zhiming, Woodcock, Jim., Zhu, Huibiao.
Publicado em 2013

Obter o texto integral

Livro

2

Unifying theories of programming and formal engineering methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /

Unifying theories of programming and formal engineering methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Adva...

Por Liu, Zhiming, Woodcock, Jim., Zhu, Huibiao.
Publicado em 2013

Obter o texto integral

Livro

3

Theoretical aspects of computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, proceedings /

Theoretical aspects of computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, proceedings /

Por International Colloquium, Liu, Zhiming, Woodcock, Jim., Zhu, Huibiao.
Publicado em 2013

Obter o texto integral

Livro