From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini · 2019
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2019
- Publisher
- Springer
- Editions
- 1
- Pages
- 587
- ISBN
- 9783030309848
Data source: Wikidata
More by Maurice H. ter Beek
Integrated Formal MethodsMaurice H. ter Beek
Integrated Formal Methods
Maurice H. ter Beek · 2022
Formal Methods for Industrial Critical SystemsMaurice H. ter Beek
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek · 2020
Formal Methods – The Next 30 YearsMaurice H. ter Beek
Formal Methods – The Next 30 Years
Maurice H. ter Beek · 2019
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive SystemsMaurice H. ter Beek
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
Maurice H. ter Beek · 2017
Web Services and Formal MethodsMaurice H. ter Beek
Web Services and Formal Methods
Maurice H. ter Beek · 2013