Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319686899
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
The conference focuses on all areas related to formal engineering methods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2017 |
| Udgivelsesdato | 14-10-2017 |
| Første udgivelsesår | 2017 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 134 Illustrations, black and white; XVII, 498 p. 134 illus. |
| Fagredaktør | Zhenhua Duan, Luke Ong |
| Originalsprog | Switzerland |
| Sideantal | 498 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 498 pages, 134 Illustrations, black and white; XVII, 498 p. 134 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319686899 |