Formal Methods for Components and Objects

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