Formal Methods for Components and Objects

Loading edition detail...

Preparing this view.

Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Bookitis Pick

Formal Methods for Components and ObjectsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverPublished 20042 title views

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer London, Limited
Search language	english
ISBN_13	978-3-540-30101-1 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

FM
Image source: Open Library
Formal Methods for Components and Objects
Springer | October 26, 2005
1 views
Formal Methods for Components a...Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
FM
Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue | Springer London, Limited | 2011
1 views
Formal Methods for Components a...Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
FM
Formal Methods for Components and Objects
Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue | Springer London, Limited | 2013
Formal Methods for Components a...Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
FM
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever | Springer London, Limited | 2008
Formal Methods for Components a...Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
FM
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever | Springer London, Limited | 2006
Formal Methods for Components a...Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
FM
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever | Springer London, Limited | 2005