Research Catalog

Program verification using Ada

Title
Program verification using Ada / Andrew D. McGettrick.
Author
McGettrick, Andrew D., 1944-
Publication
Cambridge ; New York : Cambridge University Press, 1982.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.6 .M399Off-site

Details

Description
345 pages; 24 cm
Series Statement
Cambridge computer science texts ; 13
Uniform Title
Cambridge computer science texts ; 13.
Subject
  • Computer programs > Verification
  • Ada (Computer program language)
  • Ada
  • Programmverifikation
  • Ada (langage de programmation)
  • ADA
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 0521242150
  • 9780521242158
  • 0521285313
  • 9780521285315
LCCN
81012276
OCLC
  • ocm07732725
  • 7732725
  • SCSB-39784
Owning Institutions
Princeton University Library