Formal Methods and Software Engineering. 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
Saved in:
| Meeting name: | International Conference on Formal Engineering Methods (2008 : Kitakyushu-City, Japan) |
|---|---|
| Imprint: | Berlin : Springer, ©2008. |
| Description: | 1 online resource (xi, 396 pages) : illustrations (some color). |
| Language: | English |
| Series: | Lecture Notes in Computer Science ; 5256 LNCS sublibrary. Image processing, computer vision, pattern recognition, and graphics ; SL 6 Lecture notes in computer science ; 5256. LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11071544 |