Summary goes here
Wedi'i Gadw mewn:
| Fformat: | Llyfr |
|---|---|
| Iaith: | Saesneg |
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | ff99a352-febe-4dbb-962f-58e60d298b4a |
| isbn | 9783540319399 3540319395 9783540291312 3540291318 |
| issn | |
| language | eng |
| physical | 1 online resource (viii, 323 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2005 |
| publishDate | ©2005 |
| subjects | |
| title | Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer [and others] (eds.). |
| topic | Formal methods (Computer science) Component software Object-oriented programming (Computer science) Object-oriented methods (Computer science) Méthodes formelles (Informatique) Conception orientée objet (Informatique) Composants logiciels Programmation orientée objet (Informatique) COMPUTERS Informatique. Object-oriented methods (Computer science) Component software Formal methods (Computer science) Object-oriented programming (Computer science) Formale Methode Formale Spezifikationstechnik KomponenteSoftware Objektorientierung Softwareentwicklung Méthode formelle. Approche orientée objet. Composant logiciel. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Leiden (2004) |