Get Free Shipping on orders over $79
Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25â"28, 2024, Proceedings - Angelo Gargantini
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Rigorous State-Based Methods

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

By: Angelo Gargantini (Editor), Silvia Bonfanti (Editor), Patrizia Scandurra (Editor), Michael Leuschel (Editor), Elvinia Riccobene (Editor)

Paperback | 25 July 2024

At a Glance

Paperback


$109.00

or 4 interest-free payments of $27.25 with

 or 

Ships in 5 to 7 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 Information Technology General Issue

Careless People : A story of where I used to work - Sarah Wynn-Williams

RRP $24.99

$21.75

13%
OFF
Doppelganger : A Trip Into the Mirror World - Naomi Klein

RRP $26.99

$22.99

15%
OFF
Against the Machine : On the Unmaking of Humanity - Paul Kingsnorth
Ethics, Information, and Technology : A Tangled Web - Kip Currier

RRP $110.00

$96.75

12%
OFF
The Singularity is Nearer : When We Merge with AI - Ray Kurzweil

RRP $26.99

$22.99

15%
OFF
Book of Making 2026 : Projects for Makers and Hackers - The Makers of Raspberry Pi Official magazine
Building a Scalable Data Warehouse with Data Vault 2.0 - Dan Linstedt