![Cover image for Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings Cover image for Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Author:
Liu, Shaoying. editor.
ISBN:
9783540881940
Physical Description:
online resource.
Series:
Lecture Notes in Computer Science, 5256
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 5256
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-88194-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 189005-2001 | ONLINE | Searching... | Searching... |