Formal Methods for Components and Objects

Format:

e-book

Title:

Formal Methods for Components and Objects

Author:

Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M.; Bonsangue, Marcello M.; de Boer, Frank S.; Hähnle, Reiner

Language:

English

Publisher:

Springer Berlin Heidelberg 2013

ISBN:

3-642-40614-9
3-642-40615-7

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000015938?locale=en