Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Heftet /
2014
/ Engelsk
Product details
ISBN
9783319073163
Published
2014-05-21
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
8
Original, readable, and useful lecture notes written by leading experts Made for students, researchers, and practitioners Covers a variety of topics in formal methods for software systems, with particular focus on modeling and verification; runtime assessment and testing A detailed preface, introducing the chapters, is included in the front matter and is freely available for perusal on SpringerLink
Read more
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
9783319073163
Published
2014-05-21
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
8