Details of Book: Formal Specification And Verification Of Digital Systems Book: Formal Specification And Verification Of Digital Systems
Author: George Miln,
ISBN: 007707811X
ISBN-13: 9780077078119
, 978-0077078119
Binding: Hardcover
Publishing Date: 1994
Publisher: Mcgraw-hill Professional
Number of Pages: 288