Loading edition detail...
Preparing this view.
Dirk Beyer
This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.
| Publisher | Springer Nature |
|---|---|
| Search language | english |
| ISBN_13 | 978-3-319-89960-2 primary |
Publication-specific alternatives linked to the same work.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems