Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 4e35ea7d-be41-4434-9bb5-977d074cc4eb |
| isbn | 9783642041679 3642041671 |
| issn | |
| language | eng |
| physical | 1 online resource (x, 297 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2009 |
| publishDate | ©2009 |
| subjects | |
| title | Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.). |
| topic | Formal methods (Computer science) Component software Object-oriented programming (Computer science) Méthodes formelles (Informatique) Composants logiciels Programmation orientée objet (Informatique) Informatique. Component software Formal methods (Computer science) Object-oriented programming (Computer science) Formale Methode KomponenteSoftware Objektorientierung Softwareentwicklung Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |