FM 2011: Formal methods :
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24 2011 : proceedings /
Edited by Michael Butler, Wolfram Schulte.
| Contributors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published / Created: |
Berlin :
Springer-Verlag Berlin and Heidelberg GmbH & Co. K,
2011.
|
| Subjects: | |
| Notes: | Physical description: 450 p. : ill. ; 24 cm. |
| ISBN: | 9783642214363 (pbk.) 3642214363 (pbk.) |
| Call Number | View In | Collection |
|---|---|---|
|
12A 1146 |
Main Reading Room |
Books |