Bemærk: Kan ikke leveres før jul.
Forventes på lager: 21-07-2011
This 2000 collection of articles by well-known experts moves from theoretical frameworks, models, and systems of notation to case studies by researchers. The emphasis is on advances in the technological infrastructure of component-based systems, how to design and specify reusable components, and how to verify and validate systems from components.
| Forlag | Cambridge University Press |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 21-07-2011 |
| Første udgivelsesår | 2011 |
| Illustrationer | Worked examples or Exercises |
| Fagredaktør | Gary T. (Iowa State University) Leavens, Murali (West Virginia University) Sitaraman |
| Originalsprog | United Kingdom |
| Sideantal | 324 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 324 pages, Worked examples or Exercises |
| Mål | 176 x 255 x 21 |
| ISBN-13 / EAN-13 | 9780521155694 |