High integrity Ada the SPARK approach

High integrity Ada the SPARK approach

Saved in:

Bibliographic Details
Main Author:	Barnes, J. G. P. John Gilbert Presslie
Corporate Author:	Praxis Critical Systems Limited
Format:	Unknown
Published:	Harlow, England Reading, Mass. Addison-Wesley 1997
Subjects:	Ada (Computer program language)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Programming in ADA
by: Barnes, J. G. P. John Gilbert Presslie
Published: (1984)

Programming in Ada plus an overview of ADA 9X
by: Barnes, J. G. P. John Gilbert Presslie
Published: (1994)

Programming in Ada 95
by: Barnes, J. G. P. John Gilbert Presslie
Published: (1996)

ADA towards maturity
Published: (1993)

ADA language and methodology
by: Watt, David A. David Anthony
Published: (1987)

Ada an introduction to the art and science of programming
by: Savitch, Walter J.
Published: (1992)

Ada a professional course
by: Gauthier, Michel
Published: (1993)

Exploring Ada
by: Bryan, Douglas L
Published: (1990)

The Ada primer an introduction to the Ada language system
by: Johnson, Philip I
Published: (1985)

Ada problem solving and program design
by: Feldman, Michael B
Published: (1992)

Ada problem solving and program design
by: Feldman, Michael B
Published: (1993)

Programming in Ada a first course
by: Clark, Robert G. 1944- Robert George
Published: (1985)

Ada from the beginning
by: Skansholm, Jan 1949-
Published: (1994)

Ada 95 problem solving and program design
by: Feldman, Michael B
Published: (1996)

Programming with Ada an introduction by means of graduated examples
by: Wegner, Peter
Published: (1980)

ADA, an advanced introduction including reference manual for the ADA programming language
by: Gehani, Narain
Published: (1984)

Ada in transition proceedings of the...held 13-15 October, 1992
Published: (1992)

ADA as a second language
by: Cohen, Norman H
Published: (1986)

Programming and problem solving with Ada
by: Dale, Nell
Published: (1994)

Ada as a second language
by: Cohen, Norman H
Published: (1996)

ADA yearbook
Published: (1993)

Introduction to Ada a top-down approach for programmers
by: Caverly, Phillip 1941-
Published: (1986)

Software construction and data structures with Ada 95
by: Feldman, Michael B
Published: (1997)

ADA a programmer's guide with microcomputer examples
Published: (1985)

System design with Ada
by: Buhr, R. J. A.
Published: (1984)

An introduction to ADA
by: Young, Stephen J
Published: (1983)

An introduction to ADA
by: Young, Stephen J
Published: (1984)

An introduction to ADA
by: Young, Stephen J
Published: (1985)

Programming in adab plus language reference manual
by: Barnes, J.G.P

Concurrency in Ada
by: Burns, Alan
Published: (1998)

ADA an introduction to program design and coding
by: Amoroso, Serafino
Published: (1985)

Software engineering with Ada
by: Booch, Grady
Published: (1986)

Software engineering with Ada
by: Booch, Grady
Published: (1983)

Ada for experienced programmers
by: Habermann, A. Nico 1932-
Published: (1983)

Reliable software technologies-Ada Europe proceedings of the ...held May 14 - 18, 2001
Published: (2001)

Embedded programming in Ada
by: Elbert, Theodore F
Published: (1986)

ADA A First Course in Programming and Software Engineering
by: Boyer, David C. C, et al.
Published: (1992)

Data structures with Ada
by: Feldman, Michael B
Published: (1985)

Parallel programming in ANSI standard Ada
by: Cherry, George William
Published: (1984)

A first course in computer science with Ada
by: De Lillo, Nicholas J
Published: (1993)