Software Engineering and Formal MethodsRadu Calinescu
Software Engineering and Formal Methods
Radu Calinescu, Bernhard Rumpe · 2015
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2015
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 3
- Pages
- 369
- ISBN
- 9783319229690
Data source: Wikidata
More by Radu Calinescu
Large-Scale Complex IT Systems. Development, Operation and ManagementRadu Calinescu
Large-Scale Complex IT Systems. Development, Operation and Management
Radu Calinescu · 2012
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive SystemsRadu Calinescu
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
Radu Calinescu · 2011
Software Engineering for Resilient SystemsRadu Calinescu
Software Engineering for Resilient Systems
Radu Calinescu · 2019
Foundations of Computer SoftwareRadu Calinescu
Foundations of Computer Software
Radu Calinescu · 2011