<--- Back to Details
First PageDocument Content
Computer programming / AdaCore / SPARK / GNAT / Ada / A Sharp / Static program analysis / DO-178C / Free software / Computing / Ada programming language / Software engineering
Date: 2011-12-16 12:50:39
Computer programming
AdaCore
SPARK
GNAT
Ada
A Sharp
Static program analysis
DO-178C
Free software
Computing
Ada programming language
Software engineering

adacore_spr08_11x17_5h.qxd

Add to Reading List

Source URL: www.adacore.com

Download Document from Source Website

File Size: 197,95 KB

Share Document on Facebook

Similar Documents

Elections / Voting / Politics / Elections in the United States / Absentee ballot / Political terminology / Voter registration / Electronic voting / Voter suppression / Federal Voting Assistance Program / Help America Vote Act

Voter Access Guide for voters with disabilities ADA Coordinator’s Office

DocID: 1xTS7 - View Document

Cryptocurrencies / Blockchains / Economy / Concurrent computing / Distributed computing / Cardano / Ethereum / RootStock / Smart contract / Tezos / Z/Yen / Bitcoin

Analyst: Mrinalini Bhutoria (Ria) (@riabhutoria) Updated: 9 August 2018 Cardano (ADA) Price

DocID: 1xTDL - View Document

Building web applications on top of encrypted data using Mylar Raluca Ada Popa, Emily Stark,† Jonas Helfer, Steven Valdez, Nickolai Zeldovich, M. Frans Kaashoek, and Hari Balakrishnan MIT CSAIL and † Meteor Developme

DocID: 1xTx0 - View Document

PDF Document

DocID: 1xSsP - View Document

PDF Document

DocID: 1xRWQ - View Document