Refinement in Z and Object-Z - bib.howest.be

Refinement in Z and Object-Z

Format:: e-book
Title:: Refinement in Z and Object-Z
Author:: Derrick, John; Derrick; Boiten, Eerke A.
Language:: English
Publisher:: Springer London 2014
ISBN:: 1-4471-5354-5
1-4471-6167-X
1-4471-5355-3
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000421378?locale=en