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

Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

By: Silvia Bonfanti (Editor), Angelo Gargantini (Editor), Michael Leuschel (Editor)

Paperback | 25 July 2024

At a Glance

Paperback


RRP $109.00

$96.95

11%OFF

or 4 interest-free payments of $24.24 with

 or 

Aims to ship in 7 to 10 business days

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.

More in Computer Science

The Line : AI and the Future of Personhood - James Boyle
Getting to Know ArcGIS Pro 3.2 - Michael Law

RRP $270.00

$167.25

38%
OFF
Deep Learning in Wireless Communications - Haijun Zhang