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
Language:: English
Publisher:: Springer Berlin Heidelberg 2006
ISBN:: 3-540-36749-7
3-540-36750-0
Subject:: Information Technology Software Engineering
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000283845?locale=en