Program verification using Ada

QR Code

Program verification using Ada

Bibliographic Details
Main Author:	McGettrick, Andrew D. (Author, Autor/a)
Format:	Book
Language:	English
Published:	Cambridge : Cambridge University Press, c1982.
Subjects:	ADA

Similar Items

The Definition of programming languages
by: McGettrick, Andrew D
Published: (1980)

Programación en Ada /
by: Wiener, Richard
Published: (1990)

Ada in practice /
by: Ausnit, Christine N., et al.
Published: (1985)

Resolución de problemas con ADA /
by: Mayoh, B
Published: (1987)

Introducción al ADA
by: Shumate, Kenneth C.
Published: (1987)

Programación en Ada
by: Wiener, Richard
Published: (1990)

Finanzas : Análisis financiero aplicado a la Empresa ADA,S.A. durante el periodo comparativo 2013-2014
by: Mendoza Meneses Ricardo, - | Robles Garcia, Marisela del Carmen | Garcia Figueroa, Edwin Alejandro Mendoza Meneses Ricardo -

Elgato que quería tocar un arco iris y otros cuentos
by: Randazzo, Paolo Antonio.
Published: (1998)

La dama de las matemáticas /
by: Muñoz, María Gabriela

Procesando la seguridad en vehículos /
by: Neuenhueskes, Klaus

Introduccion a los sistemas operativos.
by: Deitel, Harvey M.

A propósito del Mitch
by: Stefanovics, Tomás
Published: (1999)

Guía sobre las leyes de derechos de discapacitados
Published: (2005)

Beginning Ada programming : from novice to professional /
Published: (2020)

Revisting the impactof the Ada programming language
by: Magel, Kenneth

A programmer's view of the intel 432 system /
by: Organick, Elliott Irving
Published: (1983)

Aliasing in object-oriented programming. Types, analysis and verification.

Verification in all its aspects, including the role of the United Nations in the field of verification /
Published: (2008)

RAPID EMBEDDED SYSTEM TESTING USING VERIFICATION PATTERNS.
by: TSAI, WEI-TEK

Verification problems of the Washington Treaty on the elimination of intermediate-range missiles /
by: Sur, Serge 1944-
Published: (1988)

Verification : how much is enough? /
by: Krass, Allan S.
Published: (1985)

Verification of meiotic gynogenesis in Siberian sturgeon (Acipenser baeri Brandt) using microsatellite DNA and cytogenetical markers
by: Fopp-Bayat, D.

A legal approach to verification in disarmament or arms limitation : serge sur
Published: (1988)

Automated validation & verification of UML/OCL models using satisfiability solvers /
Published: (2018)

Security considerations and verification of a Central American arms control regime /
Published: (1990)

ADA resources for the library and information professions /
by: Baldwin Alexander, Linda, et al.

Programming fundamentals using JAVA : a game application approach /
by: McAllister, William James
Published: (2015)

Programming fundamentals using JAVA : a game application approach /
by: McAllister, William James
Published: (2015)

On theory and verification in sociology /
by: Zetterberg, Hans Lennard 1927-
Published: (1965)

Standardized Functional Verification
by: Wiemann, Alan.
Published: (2008)

On theory and verification in sociology
by: Zetterberg, Hans L.
Published: (1965)

Addressing verification challenges : proceedings of an International Safeguards Symposium on Addressing Verification Challenges /
Published: (2007)

A guide to useful evaluation of language programs /
by: Davis, John McE. 1970-, et al.
Published: (2018)

Addressing verification challenges : proceedings. --
Published: (2007)

Ada for software engineers /
by: Ben-Ari, Mordechai
Published: (2009)

Umrao jan ada /
by: Ruswa, Mirza Mohammad Hadi 1857-1931
Published: (1961)

Ada or Ardor : a family chronicle /
by: Nabokov, Vladimir Vladimirovich 1899-1977, et al.
Published: (1970)

Historia de Ada /
Published: (1978)

Ada or Ardor : a Family Chronicle
by: Nabokov, Vladimir Vladirovich, 1899 - 1977
Published: (1969)

Accuracy verification methods : theory and algorithms /
by: Mali, Olli
Published: (2014)