Loading...

Formal specification and verification of digital sytems

Bibliographic Details
Main Author: George Milne
Format: Printed Book
Language:English
Published: McGraw-Hill 1994

DCS

Holdings details from DCS
Call Number: 004
Copy Live Status Unavailable