Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030304454
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2019 ed. |
| Udgivelsesdato | 02-09-2019 |
| Første udgivelsesår | 2019 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 89 Illustrations, color; 821 Illustrations, black and white |
| Fagredaktør | Peter Csaba Olveczky, Gwen Salaun |
| Originalsprog | Switzerland |
| Sideantal | 550 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 550 pages, 89 Illustrations, color; 821 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030304454 |