HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts

HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts

Sonraí bibleagrafaíochta
Údair chorparáideacha: 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
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: New York ACM 2012.
Sraith:Ada letters v. 32, no. 3 (December 2012)
Ábhair:
Computer software > Verification > Congresses.