Formal Methods in Digital Design
Book
Hardback
978-0-521-35387-8 (ISBN)
Description
The author develops the necessary mathematical tools for undertaking formal methods for specifying and verifying the behaviour of a design mathematically. He then applies them in a number of canonical situations, describing a broad picture of current understanding and methods.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
College/higher education
Professional and scholarly
Illustrations
Worked examples or Exercises
ISBN-13
978-0-521-35387-8 (9780521353878)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification