Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy... (Bog, Paperback / softback, Engelsk)

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 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 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2024 ed.
Udgivelsesdato 21-06-2024
Første udgivelsesår 2024
Serie Lecture Notes in Computer Science
Illustrationer 101 Illustrations, color; 36 Illustrations, black and white
Fagredaktør Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
Originalsprog Switzerland
Sideantal 398
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 398 pages, 101 Illustrations, color; 36 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031637896