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