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 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 11071544 | ||
| 005 | 20170630045411.9 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090213s2008 gw a ob 101 0 eng d | ||
| 003 | ICU | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d UMC |d CEF |d HNK |d PUL |d COO |d E7B |d OCLCQ |d OCLCO |d OCLCQ |d A7U |d OCLCQ |d OCLCF |d BEDGE |d OCLCO |d OCLCQ |d OCLCO |d YDXCP |d NUI |d OCLCQ |d OCLCO |d OCL |d OCLCO |d EBLCP |d OCLCQ | ||
| 019 | |a 298922560 |a 488395114 |a 646765624 |a 698466476 | ||
| 020 | |a 9783540881940 | ||
| 020 | |a 3540881948 | ||
| 020 | |a 354088193X | ||
| 020 | |a 9783540881933 | ||
| 035 | |a (OCoLC)304563344 |z (OCoLC)298922560 |z (OCoLC)488395114 |z (OCoLC)646765624 |z (OCoLC)698466476 | ||
| 037 | |a 978-3-540-88193-3 |b Springer |n http://www.springerlink.com | ||
| 050 | 4 | |a QA76.612 |b .I58 2008eb | |
| 049 | |a MAIN | ||
| 111 | 2 | |a International Conference on Formal Engineering Methods |d (2008 : |c Kitakyushu-City, Japan) | |
| 245 | 1 | 0 | |a Formal Methods and Software Engineering. |p 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings / |c Shaoying Liu, Tom Maibaum, Keijiro Araki, editors. |
| 246 | 3 | 0 | |a ICFEM 2008 |
| 260 | |a Berlin : |b Springer, |c ©2008. | ||
| 300 | |a 1 online resource (xi, 396 pages) : |b illustrations (some color). | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture Notes in Computer Science ; |v 5256 | |
| 490 | 1 | |a LNCS sublibrary. Image processing, computer vision, pattern recognition, and graphics ; |v SL 6 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics. | ||
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008104061 | |
| 650 | 0 | |a Software engineering |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008111658 | |
| 650 | 7 | |a Informatique. |2 eclas | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185 | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Liu, Shaoying. |0 http://id.loc.gov/authorities/names/n87920655 |1 http://viaf.org/viaf/77380984 | |
| 700 | 1 | |a Maibaum, Thomas S. E., |d 1947- |0 http://id.loc.gov/authorities/names/n85249596 |1 http://viaf.org/viaf/110055894 | |
| 700 | 1 | |a Araki, Keijirō, |d 1954- |0 http://id.loc.gov/authorities/names/n85139827 |1 http://viaf.org/viaf/34711096 | |
| 776 | 0 | 8 | |i Print version: |a International Conference on Formal Engineering Methods (10th : 2008 : Kitakyūshū-shi, Japan). |t Formal methods and software engineering. |d Berlin : Springer, 2008 |w (DLC) 2008937804 |
| 830 | 0 | |a Lecture notes in computer science ; |v 5256. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 6, |p Image processing, computer vision, pattern recognition, and graphics. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/978-3-540-88194-0 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 89be1539-c313-5400-b51c-42f4cbf1d7e2 |s e18e960f-ed32-5591-95f5-1b98f4d429c8 |
| 928 | |t Library of Congress classification |a QA76.612 .I58 2008eb |l Online |c UC-FullText |u http://link.springer.com/10.1007/978-3-540-88194-0 |z SpringerLink |g ebooks |i 9879625 | ||