Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783031947476
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 12-08-2025 |
| Første udgivelsesår | 2025 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 16 Illustrations, color; 23 Illustrations, black and white |
| Fagredaktør | Jose Proenca, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck |
| Originalsprog | Switzerland |
| Sideantal | 291 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 291 pages, 16 Illustrations, color; 23 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031947476 |