Find a copy online
Links to this item
springerlink.com Restricted to Springer LINK subscribers
Find a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Conference publication, Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Frank S de Boer; et al |
| ISBN: | 3540229426 9783540229421 |
| OCLC Number: | 56933205 |
| Description: | viii, 371 p. : ill. ; 24 cm. |
| Series Title: | Lecture notes in computer science, 3188.; Lecture notes in computer science., Tutorial. |
| Other Titles: | FMCO 2003 |
| Responsibility: | Frank S. de Boer ... [et al.] (eds.). |
| More information: |
Reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures".
Be the first.
Similar Items
Related Subjects:(9)
- Formal methods (Computer science) -- Congresses.
- Component software -- Congresses.
- Object-oriented programming (Computer science) -- Congresses.
- Méthodes formelles (Informatique) -- Congrès.
- Composants logiciels -- Congrès.
- Programmation orientée objet (Informatique) -- Congrès.
- Méthode formelle
- Composant logiciel
- Programmation orientée objet
