Rigorous State-Based Methods

Alexander Raschke, Dominique Méry, 2021
Ratings
BrandMore from Springer
Delivered between Wed, 13.8. and Fri, 15.8.
More than 10 pieces in stock at supplier
free shipping

Product details

The book "Rigorous State-Based Methods" documents the proceedings of the 8th International Conference on Rigorous State-Based Methods, which was originally scheduled to take place in Ulm, Germany. However, due to the COVID-19 pandemic, the conference was converted to an online format. This volume includes 6 full papers and 8 short contributions, carefully selected from a total of 18 submissions. Additionally, it features 3 contributions from a doctoral symposium. The topics covered focus on formal methods that are both state-based and machine-based, particularly on Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. This academic book is aimed at professionals and students in the fields of engineering and IT who wish to engage with the latest developments in formal methods research.

Key specifications

topic
Technology & IT
Author
Alexander Raschke, Dominique Méry
Book cover
Paperback
Year
2021
Item number
56198243

General information

Publisher
Springer
Category
Reference books
Release date
11.3.2025

Book properties

topic
Technology & IT
Author
Alexander Raschke, Dominique Méry
Year
2021
Book cover
Paperback
Year
2021

Voluntary climate contribution

CO₂-Emission
Climate contribution

30-day right of return if unopened
24 Months Warranty (Bring-in)

Compare products

Goes with

Reviews & Ratings

Warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Digitec Galaxus
  • 39.Penguin Random House
    0.1 %
  • 39.rororo
    0.1 %
  • 39.Springer
    0.1 %
  • 39.Urban & Fischer
    0.1 %
  • 44.Beck C.H.
    0.2 %

Warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Digitec Galaxus
  • Springer
    Not enough data
  • Anaconda
    Not enough data
  • Ariston
    Not enough data
  • Avery Publishing Group
    Not enough data
  • Beck C.H.
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Digitec Galaxus
  • 44.Kösel
    0.8 %
  • 44.SCM
    0.8 %
  • 44.Springer
    0.8 %
  • 44.Ullstein
    0.8 %
  • 44.Urban & Fischer
    0.8 %
Source: Digitec Galaxus