Ir para o conteúdo
UPFind
  • Saco de livros: 0 registos (Cheio)
  • Idioma
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
Avançada
  • HILT '13
  • Citar
  • Enviar por email
  • Imprimir
  • Exportar registo
    • Export toEndNote
    • Export toMARC
    • Export toMARCXML
  • Adicionar ao Carrinho Retirar do Carrinho
  • Permanent link
HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
Código QR
Previsualização
Previsualização
Previsualização

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

Detalhes bibliográficos
Corporate Authors: 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
Formato: Livro
Idioma:English
Publicado em: New York ACM 2013.
Colecção:Ada letters v. 33, no. 3 (December 2013)
Assuntos:
Computer software > Verification > Congresses.
Ada (Computer program language) > Congresses.
Computer software > Reliability > Congresses.
  • Exemplares
  • Descrição
  • Previsualização
  • Registo fonte

Search Options

  • Histórico de Pesquisas
  • Pesquisa Avançada

Discover More

  • Percorrer o Catálogo
  • Explore Channels

Need Help?

  • Dicas de Pesquisa
  • Serviço de Referência
  • FAQs

More Information

  • About Tuklas
  • Contact Us

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman