Przejdź do treści
UPFind
  • Lista podręczna: 0 w liście podręcznej (Pełny)
  • Język
    • 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
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Maaori
Wyszukiwanie zaawansowane
  • HILT '13
  • Cytować
  • Wyślij emailem
  • Drukuj
  • Eksportuj rekord
    • Export toRefWorks
    • Export toEndNoteWeb
    • Export toEndNote
    • Export toMARC
    • Export toMARCXML
  • Dodaj do listy podręcznej Usuń z listy podręcznej
  • Odnośnik bezpośredni
Okładka
kod QR
Przegląd
Przegląd
Przegląd

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

Opis bibliograficzny
organizacja autorów: 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
Format: Książka
Język:angielski
Wydane: New York ACM 2013.
Seria:Ada letters v. 33, no. 3 (December 2013)
Hasła przedmiotowe:
Computer software > Verification > Congresses.
Ada (Computer program language) > Congresses.
Computer software > Reliability > Congresses.
  • Egzemplarz
  • Opis
  • Przegląd
  • Wersja MARC

Podobne zapisy

  • HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
    Wydane: (2014)
  • HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
    Wydane: (2012)
  • Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.
    Wydane: (1993)
  • Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings
    Wydane: (2011)
  • Software verification and analysis an integrated, hands-on approach
    od: Laski, Janusz
    Wydane: (2009)

Search Options

  • Historia wyszukiwania
  • Wyszukiwanie zaawansowane

Discover More

  • Przeglądaj katalog
  • Przeglądaj kanały

Need Help?

  • Wskazówka do wyszukiwania
  • Zapytaj bibliotekarza
  • Często zadawane pytania

More Information

  • About Tuklas
  • Contact Us

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