Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings, Bonfanti, Silvia (ed.); Gargantini, Angelo (ed.); Leuschel, Michael (ed.); Riccobene, Elvinia (ed.); Scandurra, Patrizia (ed.), Springer

KIRJAUDU

ostoskori

avaa valikko

Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Silvia Bonfanti (ed.), Angelo Gargantini (ed.), Michael Leuschel (ed.), Elvinia Riccobene (ed.), Patrizia Scandurra (ed.)

75,40 €

Springer
Sivumäärä: 398 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2024, 21.06.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 14759

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Myymäläsaatavuus