FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319192482
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2015 ed. |
| Udgivelsesdato | 02-06-2015 |
| Første udgivelsesår | 2015 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 156 Illustrations, black and white; XVI, 610 p. 156 illus. |
| Fagredaktør | Nikolaj Bjørner, Frank de Boer |
| Originalsprog | Switzerland |
| Sideantal | 610 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 610 pages, 156 Illustrations, black and white; XVI, 610 p. 156 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319192482 |