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 5 of 12
Record: Previous Record Next Record
Title HILT'12 [electronic resource] : proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012 Boston, Massachusetts / sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, and Ada-Europe.
Alternative Title High Integrity Language Technology'12 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : December 2-6, 2012 Boston, Massachusetts
Proceedings of the 2012 ACM Conference on High Integrity Language Technology
HILT '12 Proceedings of the 2012 ACM Conference on High Integrity Language Technology
Publication Info New York : ACM, 2012.



Descript 1 online resource (110 pages)
Note Includes index.
ISBN 9781450315050 (print)
Click on the terms below to find similar items in the catalogue
Subject Computer software -- Verification -- 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.
Ada-Europe International Conference on Reliable Software Technologies.
Alternative Title High Integrity Language Technology'12 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : December 2-6, 2012 Boston, Massachusetts
Proceedings of the 2012 ACM Conference on High Integrity Language Technology
HILT '12 Proceedings of the 2012 ACM Conference on High Integrity Language Technology
Descript 1 online resource (110 pages)
Note Includes index.
ISBN 9781450315050 (print)
Subject Computer software -- Verification -- 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.
Ada-Europe International Conference on Reliable Software Technologies.
Alternative Title High Integrity Language Technology'12 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : December 2-6, 2012 Boston, Massachusetts
Proceedings of the 2012 ACM Conference on High Integrity Language Technology
HILT '12 Proceedings of the 2012 ACM Conference on High Integrity Language Technology

Subject Computer software -- Verification -- Congresses.
Descript 1 online resource (110 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.
Ada-Europe International Conference on Reliable Software Technologies.
ISBN 9781450315050 (print)

Links and services for this item: