Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030575052
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2020 |
| Udgivelsesdato | 10-09-2020 |
| Første udgivelsesår | 2020 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 28 Illustrations, color; 202 Illustrations, black and white; X, 277 p. 230 illus., 28 illus. in color. |
| Fagredaktør | Javier Camara, Martin Steffen |
| Originalsprog | Switzerland |
| Sideantal | 277 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 277 pages, 28 Illustrations, color; 202 Illustrations, black and white; X, 277 p. 230 illus., 28 ill |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030575052 |