Jeremy Sproston – författare
Visar alla böcker från författaren Jeremy Sproston. Handla med fri frakt och snabb leverans.
2 produkter
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
Av Laure Petrucci, Jeremy Sproston
Häftad, 2023
624 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The …
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
Av Jeremy Sproston, Laure Petrucci
E-bok, 2023
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The …
