What do you think?
Rate this book
Specification and Validation Methods
Here is a high-level introduction to the methods for specification and validation of computing systems, with a description of new developments in addition to state-of-the-art techniques. The chapters span the field, from the semantics of programming languages and their implementation (e.g.
PROLOG, C++) to architecture design (VHDL), parallel and distributed programs, and protocols (e.g. kermit). The book is unique for two reasons. First, it combines an up-to-date survey with a systematic presentation of recent advances and new ideas and approaches. Second, its themes range from
software to hardware design, and the proposed methods are applied to specification and validation of complex real life computing systems. Such an approach makes this an important book for researchers and graduate students in computer science and systems programmers.
PROLOG, C++) to architecture design (VHDL), parallel and distributed programs, and protocols (e.g. kermit). The book is unique for two reasons. First, it combines an up-to-date survey with a systematic presentation of recent advances and new ideas and approaches. Second, its themes range from
software to hardware design, and the proposed methods are applied to specification and validation of complex real life computing systems. Such an approach makes this an important book for researchers and graduate students in computer science and systems programmers.
470 pages, Hardcover
First published September 14, 1995
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.