cover image

Program verification using Ada / Andrew D. McGettrick.

Cambridge ; New York : Cambridge University Press, 1982.
ISBN 0521285313, 0521242150

Location Call Number Status Consortium Loan
WRLC Shared Collections Facility
QA76.6 .M399 Off-site
Van Ness stacks
QA 76.6 .M399 1982 Available Request
Van Ness stacks
QA 76.6 .M399 1982 Available Request
Subjects Ada (langage de programmation)
Computer programs -- Verification.
Description xii, 345 pages ; 24 cm.
Copyright Date 1982.
Notes Bibliography: pages 335-339.
Bibliography: pages 335-339.
Network Numbers (OCoLC)07732725
WorldCat Search OCLC WorldCat
WorldCat Identities McGettrick, Andrew D., 1944-
Publication timeline, list of works, related names and subjects and other information


Export citation to: RefWorks