Formal Methods for Components and Objects

Format:: e-book
Title:: Formal Methods for Components and Objects
Author:: Hutchison, David; Boer, Frank S. de; Kanade, Takeo; de Boer, Frank S.; de Roever, Willem-Paul; Graf, Susanne; Bonsangue, Marcello M.
Language:: English
Publisher:: Springer Berlin / Heidelberg 2005
ISBN:: 3-540-29131-8
3-540-31939-5
Subject:: Information Technology Software Engineering
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000213285?locale=en