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) [and others]

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) [and others]

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) [and others]
Title variation
  • Conference on Software Engineering and Formal Methods
  • Software Engineering and Formal Methods
  • SEFM 2006
Creator
Contributor
Subject
Genre
Language
eng
Related
Member of
Cataloging source
STF
Dewey number
005.3
Illustrations
illustrations
Index
index present
LC call number
QA76.758
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International Conference on Software Engineering and Formal Methods
Nature of contents
  • dictionaries
  • bibliography
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
  • Engineering
  • Computer software
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) [and others]
Instantiates
Publication
Note
"IEEE Computer Society Order Number P2678"--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
IEEE74351106
Dimensions
unknown
Extent
1 online resource (xi, 263 pages)
Form of item
online
Isbn
9780769526782
Lccn
2006929264
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
  • ocm74351106\
  • (OCoLC)74351106
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) [and others]
Publication
Note
"IEEE Computer Society Order Number P2678"--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
IEEE74351106
Dimensions
unknown
Extent
1 online resource (xi, 263 pages)
Form of item
online
Isbn
9780769526782
Lccn
2006929264
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
  • ocm74351106\
  • (OCoLC)74351106

Library Locations

Processing Feedback ...