Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Av... (Bog, Paperback / softback, Engelsk)

Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

(Bog, Paperback / softback, Engelsk)

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2025 ed.
Udgivelsesdato 26-11-2024
Første udgivelsesår 2024
Serie Lecture Notes in Computer Science
Illustrationer 190 Illustrations, color; 53 Illustrations, black and white
Fagredaktør Alexandre Madeira, Alexander Knapp
Originalsprog Switzerland
Sideantal 462
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 462 pages, 190 Illustrations, color; 53 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031773815