Formal specification and verification of digital sytems

Bibliographic Details
Main Author: George Milne
Format: Printed Book
Language:English
Published: McGraw-Hill 1994
Description
Physical Description:240
ISBN:3246

Similar Items