Title:
Formal Methods : Applications And Technology :11th International Workshop, FMICS 2006 And 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Publication Information:
Berlin Heidelberg : Springer-Verlag GmbH., 2007.
Physical Description:
x, 361 p. : ill., digital ; 24 cm.
ISBN:
9783540709527
General Note:
Available in online version
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-70952-7
Genre:
DSP_RESTRICTION_NOTE:
Remote access restricted to users with a valid UTM ID via VPN
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | EB001230 | EB 001230 | Electronic Book | 1:EBOOK | Searching... |