Specification and Validation Methods (International Schools for Computer Scientists) - Hardcover

Borger, Egon

Hardcover

ISBN 10: 0198538545 ISBN 13: 9780198538547

Publisher: Clarendon Press, 1995

Synopsis

The book combines a high-level introduction to the state of the art with the development of new methods for specification and validation of computing systems. The methods are elaborated for challenging and characteristic applications, spanning from semantics of programming languages and their implementation (PROLOG,CLPC(R) and CLAM,C++) to architecture design (VHDL), including also parallel and distributed programs as well as protocols (Kermit for example). The eleven chapters are written in a self-contained way, each by a leading expert. The book is unique for two reasons: it combines a state-of-the-art survey with a systematic presentation of recent advances, based on new ideas and approaches; its themes range from software to hardware design and the proposed methods are applied to specification and validation of complex real-life computing systems. This book is intended for researchers and graduate students in computer science. Systems programmers.

About this title

Product Description

460p hardback with yellow laminated cover, as new, from a Cambridge college library, unused, excellent condition

Edition details

• Publisher: Clarendon Press
• Publication date: 1995
• Language: English
• ISBN 10: 0198538545
• ISBN 13: 9780198538547
• Binding: Hardcover
• Number of pages: 469