Coverart for item
The Resource Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings, Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings, Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

Label
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Title
Formal methods and software engineering
Title remainder
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Statement of responsibility
Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
Title variation
ICFEM 2004
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
LWU
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
International Conference on Formal Engineering Methods
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1964-
http://library.link/vocab/relatedWorkOrContributorName
  • Davies, Jim
  • Schulte, Wolfram
  • Barnett, Mike
Series statement
Lecture notes in computer science,
Series volume
3308
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
Label
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings, Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
Instantiates
Publication
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
Control code
57053747
Dimensions
24 cm
Extent
xiii, 500 pages
Isbn
9783540238416
Lccn
2004114617
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings, Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
Publication
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
Control code
57053747
Dimensions
24 cm
Extent
xiii, 500 pages
Isbn
9783540238416
Lccn
2004114617
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...