Theories of Programming and Formal Methods - bib.howest.be

Theories of Programming and Formal Methods

Format:: e-book
Title:: Theories of Programming and Formal Methods
Author:: Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Woodcock, Jim; Zhu, Huibiao
Language:: English
Publisher:: Springer Berlin Heidelberg 2013
ISBN:: 3-642-39697-6
3-642-39698-4
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000000002643?locale=en