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; Roever, Willem-Paul de
Language:: English
Publisher:: Springer Berlin Heidelberg 2008
ISBN:: 3-540-92187-7
3-540-92188-5
Subject:: Information Technology Software Engineering
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000545808?locale=en