Formal methods of program verification

other_versions_link
Bibliographic Details
Main Author: Berg,H.K
Format: Printed Book
Language:English
Published: New Jersey Prentice-Hall

DCS

Holdings details from DCS
Call Number: 004.415.5 BER
Copy Live Status Unavailable

Similar Items