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
Member of
Cataloging source
AZU
Illustrations
illustrations
Index
index present
LC call number
QA76.758
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
  • dictionaries
  • 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
  • Computer software
  • Engineering
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"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
63190293
Dimensions
unknown
Extent
1 online resource (xiv, 446 pages)
Form of item
online
Isbn
9780769524351
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)63190293
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"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
63190293
Dimensions
unknown
Extent
1 online resource (xiv, 446 pages)
Form of item
online
Isbn
9780769524351
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)63190293

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...