Formal Methods for Components and Objects

Type:: e-book
Titel:: Formal Methods for Components and Objects
Auteur:: 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
Taal:: Engels
Uitgever:: Springer Berlin Heidelberg 2008
ISBN:: 3-540-92187-7
3-540-92188-5
Onderwerp:: Information Technology Software Engineering
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000545808