Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783642358609
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. formal methods and modeling languages for components and services;
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2013 ed. |
| Udgivelsesdato | 09-01-2013 |
| Første udgivelsesår | 2013 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 72 Illustrations, black and white; X, 277 p. 72 illus. |
| Fagredaktør | Corina S Pasareanu, Gwen Salaun |
| Originalsprog | Germany |
| Sideantal | 277 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 277 pages, 72 Illustrations, black and white; X, 277 p. 72 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783642358609 |