HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA

HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA

Detaylı Bibliyografya
Kurumsal yazarlar: SIGAda (sponsoring body.), SIGAPP (sponsoring body.), Association for Computing Machinery. Special Interest Group on Embedded Systems (sponsoring body.), Association for Computing Machinery. Special Interest Group on Computers and Society (sponsoring body.), Association for Computing Machinery. Special Interest Group on Computer Science Education (sponsoring body.), ACM Special Interest Group on Programming Languages (sponsoring body.), ACM Sigsoft (sponsoring body.)
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: New York ACM 2014.
Seri Bilgileri:Ada letters v.34, no.3 (December 2014)
Konular:
Computer software > Verification > Congresses.
Ada (Computer program language) > Congresses.
Computer software > Reliability > Congresses.