Foundation of program verification /

Bibliographic Details
Main Author: Loeckx, Jacques
Format: Printed Book
Published: New Jersey : John Wiley & Sons , 1983.
Subjects:
Program verification

Similar Items