Formal Methods for Components and Objects

Format:

e-book

Title:

Formal Methods for Components and Objects

Author:

Boer, Frank S.; Bonsangue, Marcello M.; Kanade, Takeo; Madelaine, Eric; Kittler, Josef

Language:

English

Publisher:

Springer Berlin Heidelberg 2009

ISBN:

3-642-04166-3
3-642-04167-1

Subject:

Information Technology Software Engineering

Permalink:

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