Bokus
Rigorous State-Based Methods

E-bok, Engelska, 2024

Rigorous State-Based Methods

Av Patrizia Scandurra, Elvinia Riccobene, Michael Leuschel, Angelo Gargantini, Silvia Bonfanti

1067 kr

Skickas onsdag 7/10

Beskrivning

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; short research papers; case study; doctoral symposium.

Produktinformation
  • Utgivningsdatum: 2024-06-20
  • Format: E-bok
  • Språk: Engelska
  • Förlag: Springer Nature Switzerland
  • ISBN: 9783031637902
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.