Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)
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 |
|---|---|
| Pages | 230 |
| Search language | english |
| ISBN_10 | 3-642-15897-8 primary |
| ISBN_13 | 978-3-642-15897-1 primary |
Publication-specific alternatives linked to the same work.