Coverart for item
The Resource HILT '13 : proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA, sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, (electronic resource)

HILT '13 : proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA, sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, (electronic resource)

Label
HILT '13 : proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
Title
HILT '13
Title remainder
proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
Statement of responsibility
sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT
Title variation
  • High Integrity Language Technology '13
  • Proceedings of the 2013 ACM SIGAda annual Conference on High Integrity Language Technology
  • HILT 2013
  • High Integrity Language Technology ACM SIGAda Annual, Pittsburgh, PA, USA - November 10 - 14, 2013
Title variation remainder
proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, Pennsylvania, United States of America
Contributor
Subject
Genre
Language
eng
Cataloging source
WaSeSS
LC call number
QA76.76.V47
http://library.link/vocab/relatedWorkOrContributorName
  • SIGAda
  • SIGAPP
  • Association for Computing Machinery
  • Association for Computing Machinery
  • Association for Computing Machinery
  • ACM Special Interest Group on Programming Languages
  • ACM Sigsoft
http://library.link/vocab/subjectName
  • Computer software
  • Ada (Computer program language)
  • Computer software
Label
HILT '13 : proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA, sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, (electronic resource)
Instantiates
Publication
Note
Includes index
Control code
OCM1bookssj0001254479
Dimensions
unknown
Extent
1 online resource (90 pages)
Isbn
9781450324670
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001254479
Label
HILT '13 : proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA, sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, (electronic resource)
Publication
Note
Includes index
Control code
OCM1bookssj0001254479
Dimensions
unknown
Extent
1 online resource (90 pages)
Isbn
9781450324670
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001254479

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