Program verification using Ada

Código QR

Program verification using Ada

Detalles Bibliográficos
Autor principal:	McGettrick, Andrew D. (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Cambridge : Cambridge University Press, c1982.
Materias:	ADA

Ejemplares similares

The Definition of programming languages
por: McGettrick, Andrew D
Publicado: (1980)

Programación en Ada /
por: Wiener, Richard
Publicado: (1990)

Ada in practice /
por: Ausnit, Christine N., et al.
Publicado: (1985)

Resolución de problemas con ADA /
por: Mayoh, B
Publicado: (1987)

Introducción al ADA
por: Shumate, Kenneth C.
Publicado: (1987)

Programación en Ada
por: Wiener, Richard
Publicado: (1990)

Finanzas : Análisis financiero aplicado a la Empresa ADA,S.A. durante el periodo comparativo 2013-2014
por: 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
por: Randazzo, Paolo Antonio.
Publicado: (1998)

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

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

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

A propósito del Mitch
por: Stefanovics, Tomás
Publicado: (1999)

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

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

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

A programmer's view of the intel 432 system /
por: Organick, Elliott Irving
Publicado: (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 /
Publicado: (2008)

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

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

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

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

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

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

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

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

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

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

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

Standardized Functional Verification
por: Wiemann, Alan.
Publicado: (2008)

On theory and verification in sociology
por: Zetterberg, Hans L.
Publicado: (1965)

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

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

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

Ada for software engineers /
por: Ben-Ari, Mordechai
Publicado: (2009)

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

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

Historia de Ada /
Publicado: (1978)

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

Accuracy verification methods : theory and algorithms /
por: Mali, Olli
Publicado: (2014)