Code: 50453035

Rigorous State-Based Methods

Name: Rigorous State-Based Methods
Brand: Springer Nature B.V.
SKU: 50453035
Price: 56.87 EUR
Availability: InStock
Author: Uwe Glässer
ISBN: 9783031331640

by Uwe Glässer, Jose Creissac Campos, Dominique Méry

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefull ... more

Language: English
Binding: Paperback
Number of pages: 396
Publisher: Springer Nature B.V., 2023
More about this

56.87 €

RRP: 56.88 €

You save 0.01 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Kompendium Flug- und Reisemedizin
26.76 € -11 %
Buy
Experiential Religion
17.57 € -24 %
Buy
Introduction to Nonlinear Analysis: Theory
205.49 € -7 %
Buy
Jesus Christ, the Son of God, the Witness of the Gospels, Vol. 3
18.28 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 138 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.

The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Book details

56.87 €

Full title: Rigorous State-Based Methods
Subtitle: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author: Uwe Glässer, Jose Creissac Campos, Dominique Méry
Language: English
Binding: Paperback
Number of pages: 396
EAN: 9783031331640
ISBN: 3031331648
ID: 50453035
Publisher: Springer Nature B.V.
Weight: 554 g
Dimensions: 234 × 156 × 21 mm
Date of publishing: 15. May 2023