Coverart for item
The Resource HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA, sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, (electronic resource)

HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA, sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, (electronic resource)

Label
HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
Title
HILT 2014
Title remainder
proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, 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 2014
  • Proceedings of the 2014 ACM SIGAda annual Conference on High Integrity Language Technology
  • Proceedings of the 2014 Association for Computing Machinery Special Interest Group on Ada Programming Language annual Conference on High Integrity Language Technology
  • HILT '14
  • High Integrity Language Technology ACM SIGAda annual Conference, Portland, OR, USA - October 18 - 21, 2014
Title variation remainder
proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : October 18-21, 2014, Portland, Oregon, 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 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, 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
OCM1bookssj0001456044
Dimensions
unknown
Extent
1 online resource (106 pages)
Isbn
9781450332170
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001456044
Label
HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, 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
OCM1bookssj0001456044
Dimensions
unknown
Extent
1 online resource (106 pages)
Isbn
9781450332170
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001456044

Library Locations

    • UMKCBorrow it
      800 E 51st St, Kansas City, MO, 64110, US
      39.035061 -94.576518
    • Health Sciences LibraryBorrow it
      2411 Holmes St, Kansas City, Kansas City, MO, 64108, US
      39.083418 -94.575323
    • Leon E. Bloch Law LibraryBorrow it
      500 E. 52nd Street, Kansas City, MO, 64110, US
      39.032488 -94.581967
Processing Feedback ...