Unifying Theories of Programming and Formal Engineering Methods
de Zhiming Liu, Jim Woodcock, Huibiao Zhu
Ediciones (1)
- Unifying Theories of Programming and Formal Engineering Methods (2013)
Springer London, Limited · inglés · ISBN 9783642397219
de Zhiming Liu, Jim Woodcock, Huibiao Zhu
Springer London, Limited · inglés · ISBN 9783642397219
