Abstract State Machines, Alloy, B, VDM, and Z
Elvinia Riccobene, Steve Reeves, Michael Leuschel, Sarfraz Khurshid, Stefania Gnesi, John Fitzgerald, John Derrick
E-bok
2012687 kr
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
AvPatrizia Scandurra,Elvinia Riccobene
E-bok
Engelska, 20241 022 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
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
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Abstract State Machines 2003: Advances in Theory and Practice
Elvinia Riccobene, Angelo Gargantini, Egon Borger
E-bok
2003708 kr
Del 14131
Abstract State Machines 2003: Advances in Theory and Practice
Egon Börger, Angelo Gargantini, Elvinia Riccobene
Häftad, 2003
561 kr
Abstract State Machines, Alloy, B, VDM, and Z
John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Häftad, 2012
544 kr
Rigorous State-Based Methods
Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
Häftad, 2024
837 kr
Del 14590
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
Bedir Tekinerdoğan, Romina Spalazzese, Hasan Sözer, Silvia Bonfanti, Danny Weyns
Häftad, 2024
826 kr