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 ...
Read More
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.
Read Less
Add this copy of Specification and Validation Methods to cart. $20.00, new condition, Sold by Scholars Attic rated 4.0 out of 5 stars, ships from Lake Barrington, IL, UNITED STATES, published 1995 by Oxford University Press, USA.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
NEW BOOK / slightly shelf worn cover edge-No international shipping available. Sewn binding. Cloth over boards. 472 p. Contains: Illustrations. International Schools for Computer Scientists. Audience: General/trade.
Add this copy of Specification and Validation Methods to cart. $26.74, good condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1995 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 950grams, ISBN: 9780198538547.
Add this copy of Specification and Validation Methods to cart. $26.81, good condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1995 by Oxford Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 950grams, ISBN: 9780198538547.
Add this copy of Specification and Validation Methods (International to cart. $53.72, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1995 by Oxford University Press.
Add this copy of Specification and Validation Methods (International to cart. $54.90, good condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1995 by Oxford Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 900grams, ISBN: 9780198538547.
