Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record 4 of 12
Record: Previous Record Next Record
Title 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.
Alternative Title High Integrity Language Technology 2014 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : October 18-21, 2014, Portland, Oregon, United States of America
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
Publication Info New York : ACM, 2014.



Descript 1 online resource (106 pages)
Note Includes index.
ISBN 9781450332170 (print)
Click on the terms below to find similar items in the catalogue
Subject Computer software -- Verification -- Congresses.
Ada (Computer program language) -- Congresses.
Computer software -- Reliability -- Congresses.
Alt author SIGAda.
SIGAPP.
Association for Computing Machinery. Special Interest Group on Embedded Systems.
Association for Computing Machinery. Special Interest Group on Computers and Society.
Association for Computing Machinery. Special Interest Group on Computer Science Education.
ACM Special Interest Group on Programming Languages.
ACM Sigsoft.
Alternative Title High Integrity Language Technology 2014 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : October 18-21, 2014, Portland, Oregon, United States of America
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
Descript 1 online resource (106 pages)
Note Includes index.
ISBN 9781450332170 (print)
Subject Computer software -- Verification -- Congresses.
Ada (Computer program language) -- Congresses.
Computer software -- Reliability -- Congresses.
Alt author SIGAda.
SIGAPP.
Association for Computing Machinery. Special Interest Group on Embedded Systems.
Association for Computing Machinery. Special Interest Group on Computers and Society.
Association for Computing Machinery. Special Interest Group on Computer Science Education.
ACM Special Interest Group on Programming Languages.
ACM Sigsoft.
Alternative Title High Integrity Language Technology 2014 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : October 18-21, 2014, Portland, Oregon, United States of America
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

Subject Computer software -- Verification -- Congresses.
Ada (Computer program language) -- Congresses.
Computer software -- Reliability -- Congresses.
Descript 1 online resource (106 pages)
Note Includes index.
Alt author SIGAda.
SIGAPP.
Association for Computing Machinery. Special Interest Group on Embedded Systems.
Association for Computing Machinery. Special Interest Group on Computers and Society.
Association for Computing Machinery. Special Interest Group on Computer Science Education.
ACM Special Interest Group on Programming Languages.
ACM Sigsoft.
ISBN 9781450332170 (print)

Links and services for this item: