Rigorous State-Based Methods

Rigorous State-Based Methods

E-book

US$90.26 excl. VAT

You and your friend both get points.

Download immediately after payment, unlimited re-downloads from your account.

By starting the download you agree that your right of withdrawal ends, because the content is delivered at once.

About this title

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.

Details

Publisher
Springer Nature Switzerland
Language
EN
Format
PDF
Published
ISBN
9783031637902
File protection
Watermark — opens on any reader, no extra account needed