Program verification using Ada

Bibliographic Details
Main Author: McGettrick, Andrew D; Author
Format: Printed Book
Published: Cambridge, Cambridge University Press 1982
Series:Cambridge computer science series
Subjects:
Ada (Computer program language)
Computer programs-Verification

MG University

Holdings details from MG University
Call Number: 005.133 ADA
005.133 ADA M2
Copy Live Status Unavailable
Copy Live Status Unavailable

Similar Items