Coverart for item
The Resource Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India, edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et al.], (electronic resource)

Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India, edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et al.], (electronic resource)

Label
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
Title
Fourth IEEE International Conference on Software Engineering and Formal Methods
Title remainder
SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
Statement of responsibility
edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et al.]
Title variation
  • Conference on Software Engineering and Formal Methods
  • Software Engineering and Formal Methods
  • SEFM 2006
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
005.3
LC call number
QA76.758
LC item number
.I3223 2006
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International Conference on Software Engineering and Formal Methods
http://library.link/vocab/relatedWorkOrContributorDate
1950-
http://library.link/vocab/relatedWorkOrContributorName
  • Dang, Hung Van
  • Pandya, Paritosh K
  • Computer Society of India
  • International Institute for Software Technology
http://library.link/vocab/subjectName
  • Software engineering
  • Formal methods (Computer science)
Label
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India, edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et al.], (electronic resource)
Instantiates
Publication
Note
"IEEE Computer Society Order Number P2678"--T.p. verso
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000396124
Dimensions
28 cm.
Dimensions
unknown
Extent
xi, 263 pages
Isbn
9780769526782
Lccn
2006929264
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000396124
Label
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India, edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et al.], (electronic resource)
Publication
Note
"IEEE Computer Society Order Number P2678"--T.p. verso
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000396124
Dimensions
28 cm.
Dimensions
unknown
Extent
xi, 263 pages
Isbn
9780769526782
Lccn
2006929264
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000396124

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 ...