Cover Image

An introduction to formal program verification /

Bibliographic Details
Main Author: Mili, Ali
Format: Book
Language:English
Published: New York : Van Nostrand Reinhold Co., [1985]
Subjects:
Computer programs > Verification.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.6 .M5217 1985
 
Call Number Status Get It
QA76.6 .M5217 1985 Available