Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Heftet /
2017
/ Engelsk
Product details
ISBN
9783319723075
Published
2017-12-15
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, UP, 05
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
13
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The 12 full papers presented were carefully revised and selected from 20 submissions.
The 12 full papers presented were carefully revised and selected from 20 submissions.
Read more
Includes supplementary material: sn.pub/extras
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Read more
Product details
ISBN
9783319723075
Published
2017-12-15
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, UP, 05
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
13