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

Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$50.35

33%
OFF
Fuzzy Methods for Assessment and Decision Making - Michael Gr. Voskoglou

RRP $264.95

$199.95

25%
OFF
Intelligent Networks : Techniques, and Applications - Vivek Kumar Singh

RRP $315.00

$222.90

29%
OFF
Exploring the Metaverse : Challenges and Applications - Deepika Koundal
Brian Kernighan : The Unix Legend - Unfiltered and Unauthorized - Fatou Ali