Koha online
Your cart is empty.
  • Cart
  • Lists
    Your lists Log in to create your own lists
  • Languages
    Deutsch English  
  • Log in to your account
  • Your cookies
  • Search history
  • Advanced search
  • Course reserves
  • Libraries
  • Articles and Papers | Electronic Journals | Databases | Interlibrary Loan | KITopen media | Purchase request | Catalog Guide

Log in to your account

Log in with Hochschulaccount


If you do not have an external account, but do have a local account, you can still log in:

Don't have a KIT library account yet?

More Information on Registration / Opening of library account

Forgot your password?

  1. Home
  2. Details for: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology
Custom cover image
Custom cover image
Normal view MARC view ISBD view

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology

By:
  • Feldman, Michael [VerfasserIn]
Contributor(s):
  • Association for Computing Machinery-Digital Library [oth]
  • ACM Special Interest Group on Computers and Society [oth]
  • ACM Special Interest Group on Embedded Systems [oth]
  • ACM Special Interest Group on Ada Programming Language [oth]
  • ACM Special Interest Group on Software Engineering [oth]
  • ACM Special Interest Group on Applied Computing [oth]
  • ACM Special Interest Group on Programming Languages [oth]
  • ACM Special Interest Group on Computer Science Education [oth]
Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: ACM Conferences | ACM Digital LibraryPublisher: New York, NY : ACM, 2014Description: 1 online resource (106 pages)ISBN:
  • 9781450332170
Subject(s):
  • Software
  • Theory of Computation
  • Computer science
  • General programming languages
  • Computing standards, RFCs and guidelines
  • Concurrent programming languages
Genre/Form:
  • Konferenzschrift
DOI: DOI: 10.1145/2663171Online resources:
  • Zugang im Netz des KIT
  • Zugang im Netz der HKA
PPN: PPN: 1657527182Package identifier: Produktsigel: ZDB-15-ACM
  • Holdings ( 0 )
No physical items for this record

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology

APA

Feldman M., Association for Computing Machinery-Digital Library, ACM Special Interest Group on Computers and Society, ACM Special Interest Group on Embedded Systems, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Applied Computing, ACM Special Interest Group on Programming Languages & ACM Special Interest Group on Computer Science Education. (2014). Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. New York, NY: ACM.

Chicago

Feldman Michael, Association for Computing Machinery-Digital Library, ACM Special Interest Group on Computers and Society, ACM Special Interest Group on Embedded Systems, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Applied Computing, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Computer Science Education. 2014. Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. New York, NY: ACM.

Harvard

Feldman M., Association for Computing Machinery-Digital Library, ACM Special Interest Group on Computers and Society, ACM Special Interest Group on Embedded Systems, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Applied Computing, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Computer Science Education. (2014). Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. New York, NY: ACM.

MLA

Feldman Michael, Association for Computing Machinery-Digital Library, ACM Special Interest Group on Computers and Society, ACM Special Interest Group on Embedded Systems, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Applied Computing, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Computer Science Education. Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. New York, NY: ACM. 2014.

  • Print
  • Cite
  • Add to your cart (remove)
  • Save record
    BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
  • More searches
    Search for this title in:
    Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)

Exporting to Dublin Core...

Visit web site
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT
Powered by Koha