An edition of Formal Methods for Software Engineering
(2020)
Formal Methods for Software Engineering
Languages, Methods, Application Domains
by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh
- 2 Want to read
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal Methods for Software Engineering: Languages, Methods, Application Domains
2023, Springer International Publishing AG
in English
3030388026 9783030388027
|
zzzz
|
|
2
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Sep 22, 2020, Springer
hardcover
3030387992 9783030387990
|
aaaa
|
Book Details
Edition Notes
Source title: Formal Methods for Software Engineering: Languages, Methods, Application Domains
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| June 7, 2020 | Created by ImportBot | import new book |