Computing and Information Technology, Computer Science, Mathematical Theory of Computation

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

ABZ (Conference) (other), Silvia Bonfanti (editor-in-chief), Angelo Gargantini (editor-in-chief), Michael Leuschel (editor-in-chief), Elvinia Riccobene (editor-in-chief), Patrizia Scandurra (editor-in-chief)

Paperback Published on: 21/06/2024

£64.99

UK delivery included

In stock
Print on demand - Usually dispatched within 7-10 days

Make and edit your lists in your account

wordery

has a fantastic rating on

In stock
Print on demand - Usually dispatched within 7-10 days

wordery

has a fantastic rating on

Synopsis

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.

Publisher information

Publisher: Springer Nature Switzerland
ISBN: 9783031637896
Number of pages: 398
Dimensions: 235 x 155 x 22 mm
Weight: 581g
Languages: English