Coverart for item
The Resource Third IEEE International Conference on Software Engineering and Formal Methods : proceedings : SEFM 2005, 7-9 September 2005, Koblenz, Germany, editors, Bernhard K. Aichernig, Bernhard Beckert

Third IEEE International Conference on Software Engineering and Formal Methods : proceedings : SEFM 2005, 7-9 September 2005, Koblenz, Germany, editors, Bernhard K. Aichernig, Bernhard Beckert

Label
Third IEEE International Conference on Software Engineering and Formal Methods : proceedings : SEFM 2005, 7-9 September 2005, Koblenz, Germany
Title
Third IEEE International Conference on Software Engineering and Formal Methods
Title remainder
proceedings : SEFM 2005, 7-9 September 2005, Koblenz, Germany
Statement of responsibility
editors, Bernhard K. Aichernig, Bernhard Beckert
Title variation
  • 3rd IEEE International Conference on Software Engineering and Formal Methods
  • SEFM 2005, 7-9 September 2005, Koblenz, Germany
Creator
Contributor
Subject
Genre
Language
eng
Related
Additional physical form
Also issued online with additional title: Software Engineering and Formal Methods, 2005, SEFM 2005, Third IEEE International Conference on.
Cataloging source
IXA
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
International Conference on Software Engineering and Formal Methods
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1969-
http://library.link/vocab/relatedWorkOrContributorName
  • Aichernig, Bernhard K.
  • Beckert, Bernhard
  • IEEE Computer Society
http://library.link/vocab/subjectName
  • Engineering
  • Computer software
Label
Third IEEE International Conference on Software Engineering and Formal Methods : proceedings : SEFM 2005, 7-9 September 2005, Koblenz, Germany, editors, Bernhard K. Aichernig, Bernhard Beckert
Instantiates
Publication
Note
  • "Sponsored by IEEE Computer Society."
  • "IEEE Computer Society Order Number P2435"--T. p. verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
62413320
Dimensions
28 cm
Extent
xiv, 446 pages
Isbn
9780769524351
Lccn
2005928770
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)62413320
Label
Third IEEE International Conference on Software Engineering and Formal Methods : proceedings : SEFM 2005, 7-9 September 2005, Koblenz, Germany, editors, Bernhard K. Aichernig, Bernhard Beckert
Publication
Note
  • "Sponsored by IEEE Computer Society."
  • "IEEE Computer Society Order Number P2435"--T. p. verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
62413320
Dimensions
28 cm
Extent
xiv, 446 pages
Isbn
9780769524351
Lccn
2005928770
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)62413320

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...