FM 2011: Formal methods :

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24 2011 : proceedings /
Edited by Michael Butler, Wolfram Schulte.
Bibliographic Details
Contributors: Butler, Michael, 1967-
more
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