Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Program verification using Ada
Description
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
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
Holdings
Description
Similar Items
Staff View
Description
Physical Description:
345 páginas
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)
×
Loading...