Search Results

High Integrity Object Oriented Programming in Ada

Download or Read eBook High Integrity Object Oriented Programming in Ada PDF written by Inc. AdaCore Technologies, Inc. and published by . This book was released on 2013-04-05 with total page 56 pages. Available in PDF, EPUB and Kindle.
High Integrity Object Oriented Programming in Ada
Author :
Publisher :
Total Pages : 56
Release :
ISBN-10 : 1483979717
ISBN-13 : 9781483979717
Rating : 4/5 (17 Downloads)

Book Synopsis High Integrity Object Oriented Programming in Ada by : Inc. AdaCore Technologies, Inc.

Book excerpt: High Integrity Object Oriented Programming in Ada.


High Integrity Object Oriented Programming in Ada Related Books

High Integrity Object Oriented Programming in Ada
Language: en
Pages: 56
Authors: Inc. AdaCore Technologies, Inc.
Categories:
Type: BOOK - Published: 2013-04-05 - Publisher:

DOWNLOAD EBOOK

High Integrity Object Oriented Programming in Ada.
High Integrity Ada
Language: en
Pages: 392
Authors: John Gilbert Presslie Barnes
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada
A High Integrity Subset of Ada
Language: en
Pages: 70
Authors: D. T. Jordan
Categories: Ada (Computer program language)
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Abstract: "Ada is a large, modern imperative programming language designed for the programming of embedded computer systems, that is systems which control or mo
Building High Integrity Applications with SPARK
Language: en
Pages: 383
Authors: John W. McCormick
Categories: Computers
Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solut
High Integrity Software
Language: en
Pages: 350
Authors: Victor L. Winter
Categories: Computers
Type: BOOK - Published: 2001-05-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Within 50 years computers could have capabilities rivaling that of the human brain. Effective utilization of such new technologies poses a significant challenge
Scroll to top