Software Engineering and Formal Methods

English, 2018
Ratings
BrandMore from Springer
Delivered between Fri, 22.5. and Wed, 27.5.
More than 10 pieces in stock at supplier
free shipping

Product details

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 - 6th International Symposium "From Data to Models and Back"; FAACS 2017 - 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 - 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 - 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 - 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.

Key specifications

topic
Technology & IT
Language
English
Year
2018
Number of pages
592
Book cover
Paperback

General information

Item number
8695355
Publisher
Springer
Category
Reference books
Release date
14.5.2018

Book properties

topic
Technology & IT
Language
English
Year
2018
Number of pages
592
Book cover
Paperback

Voluntary climate contribution

CO₂ emissions
0.5 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
  • 58.Penguin Random House
    1.1 %
  • 58.Piper
    1.1 %
  • 58.Springer
    1.1 %
  • 61.An der Ruhr
    1.2 %
  • 61.Don Bosco
    1.2 %
Source: Digitec Galaxus