Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783642406140
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
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 | 26-08-2013 |
| Første udgivelsesår | 2013 |
| Serie | Programming and Software Engineering |
| Illustrationer | 125 Illustrations, black and white; IX, 241 p. 125 illus. |
| Fagredaktør | Elena Giachino, Reiner Hahnle, Frank S. de Boer, Marcello M. Bonsangue |
| Originalsprog | Germany |
| Sideantal | 241 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 241 pages, 125 Illustrations, black and white; IX, 241 p. 125 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783642406140 |