Coverart for item
The Resource ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000, sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey

ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000, sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey

Label
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000
Title
ICFEM 2000
Title remainder
Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000
Statement of responsibility
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey
Title variation
  • Third IEEE International Conference on Formal Engineering Methods
  • 3rd IEEE International Conference on Formal Engineering Methods
  • Proceedings Third International Conference on Formal Engineering Methods
Creator
Contributor
Subject
Genre
Language
eng
Related
Action
committed to retain for EAST
Cataloging source
ZCU
Illustrations
illustrations
Index
index present
LC call number
TA5
LC item number
.I415 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
IEEE International Conference on Formal Engineering Methods
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1960-
  • 1969-
http://library.link/vocab/relatedWorkOrContributorName
  • IEEE Computer Society
  • IEEE Computer Society
  • University of York
  • Liu, Shaoying
  • McDermid, John
  • Hinchey, Michael G.
http://library.link/vocab/subjectName
  • Engineering
  • Computer software
  • Computer software
  • Engineering
Label
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000, sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey
Instantiates
Publication
Note
"IEEE Computer Society order number PR00822"--T.p. verso
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Dimensions
28 cm
Dimensions
unknown
Extent
xi, 209 pages
Isbn
9780769508245
Lccn
00106595
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)45102675
  • (OCoLC)ocm45102675
Label
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000, sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey
Publication
Note
"IEEE Computer Society order number PR00822"--T.p. verso
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Dimensions
28 cm
Dimensions
unknown
Extent
xi, 209 pages
Isbn
9780769508245
Lccn
00106595
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)45102675
  • (OCoLC)ocm45102675

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...