ICFEM 2000 Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 / editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York.
| Author/creator | IEEE International Conference on Formal Engineering Methods |
| Format | Electronic |
| Publication Info | Los Alamitos, Calif. : IEEE Computer Society, |
| Description | xi, 209 p. : ill. ; 28 cm. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Subjects |
| Other author/creator | Liu, Shaoying, 1960- |
| Other author/creator | McDermid, John. |
| Other author/creator | Hinchey, Michael G. (Michael Gerard), 1969- |
| Other author/creator | IEEE Computer Society. |
| Other author/creator | IEEE Xplore (Online service) |
| Portion of title | Formal engineering methods |
| Spine title | Formal engineering methods |
| Portion of title | IEEE International Conference on Formal Engineering Methods |
| Portion of title | International Conference on Formal Engineering Methods |
| General note | "ICFEM 2000"--Half t.p. |
| General note | "IEEE Computer Society Order Number PR00822"--Verso of t.p. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 00106595 |
| ISBN | 0769508227 |
| ISBN | 0769508243 (microfiche) |