Loading edition detail...
Preparing this view.
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)
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 | 467 |
| Search language | english |
| ISBN_10 | 3-540-72482-6 primary |
| ISBN_13 | 978-3-540-72482-7 primary |
Publication-specific alternatives linked to the same work.