Loading...

Verifiable Programming

Bibliographic Details
Main Author: Dahl, Ole-johan
Format: Printed Book
Published: Prentice Hall 1992
Description
Physical Description:202p.
ISBN:0-13-951062-1