Start Over Please hold this item Export MARC Display Return To Browse View/Export Marked Records Clear Saved Records
 
     
Limit search to available items
Record 3 of 12
Record: Previous Record Next Record
Title HILT '13 [electronic resource] : 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.
Alternative Title High Integrity Language Technology '13 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, Pennsylvania, United States of America
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
Publication Info New York : ACM, 2013.



Descript 1 online resource (90 pages)
Note Includes index.
ISBN 9781450324670 (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 '13 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, Pennsylvania, United States of America
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
Descript 1 online resource (90 pages)
Note Includes index.
ISBN 9781450324670 (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 '13 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, Pennsylvania, United States of America
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

Subject Computer software -- Verification -- Congresses.
Ada (Computer program language) -- Congresses.
Computer software -- Reliability -- Congresses.
Descript 1 online resource (90 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 9781450324670 (print)

Links and services for this item: