Zoeken

U zocht naar: Auteur Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao Filter Auteur: Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Theoretical Aspects of Computing – ICTAC 2013
thumbnail
Full text!
Auteur:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Woodcock, Jim; Zhu, Huibiao
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
2. Theories of Programming and Formal Methods
thumbnail
Full text!
Auteur:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Woodcock, Jim; Zhu, Huibiao
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
3. Unifying Theories of Programming and Formal Engineering Methods
thumbnail
Full text!
Auteur:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book