HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক: 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
বিন্যাস: গ্রন্থ
ভাষা:English
প্রকাশিত: New York ACM 2013.
মালা:Ada letters v. 33, no. 3 (December 2013)
বিষয়গুলি:
Computer software > Verification > Congresses.
Ada (Computer program language) > Congresses.
Computer software > Reliability > Congresses.