Formal Methods for Dynamical Systems

English, 2013
Ratings
BrandMore from Springer
Delivered between Thu, 9.4. and Tue, 14.4.
More than 10 pieces in stock at supplier
Free shipping starting at 50.–

Product details

"Formal Methods for Dynamical Systems" is a specialized book based on the tutorial lectures given by leading researchers during the 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2013). This event took place in June 2013 in Bertinoro, Italy, and focused on the topic of dynamical systems. The book covers a wide range of subjects, including chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, as well as automata-based models and model checking. It is aimed at professionals and students who wish to engage with the latest developments and methods in these areas. The contributions come from recognized experts and provide valuable insights into the theoretical and practical aspects of formal methods.

Key specifications

topic
Technology & IT
Language
English
Year
2013
Number of pages
181
Book cover
Paperback

General information

Item number
15900414
Publisher
Springer
Category
Reference books
Release date
27.5.2021

Book properties

topic
Technology & IT
Language
English
Year
2013
Number of pages
181
Book cover
Paperback

Voluntary climate contribution

CO₂ emissions
0.25 kg
Climate contribution
CHF 0.11

30-day right of return if unopened
No warranty

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
  • 1.Rheinwerk
    0 %
  • 1.S.Fischer
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Ullstein
    0 %

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
  • An der Ruhr
    Not enough data
  • Anaconda
    Not enough data
  • Ariston
    Not enough data
  • Avery Publishing Group
    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
  • 56.Rheinwerk
    1.2 %
  • 56.S.Fischer
    1.2 %
  • 56.Springer
    1.2 %
  • 63.An der Ruhr
    1.3 %
  • 63.Anaconda
    1.3 %
Source: Digitec Galaxus