Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further deve...
Full description
Saved in:
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Boer, Frank S. de
(Editor),
Bonsangue, Marcello M.
(Editor),
Graf, Susanne
(Editor),
de Roever, Willem-Paul
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2004.
|
|---|
| Edition: | 1st ed. 2004. |
|---|
| Series: | Lecture Notes in Computer Science,
3188
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|