Specification and Validation Methods Egon Börger

ISBN: 9780198538547

Published: September 14th 1995

Hardcover

472 pages


Description

Specification and Validation Methods  by  Egon Börger

Specification and Validation Methods by Egon Börger
September 14th 1995 | Hardcover | PDF, EPUB, FB2, DjVu, talking book, mp3, ZIP | 472 pages | ISBN: 9780198538547 | 5.14 Mb

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 programmingMoreHere 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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Specification and Validation Methods":


zasilatelstvi.com

©2010-2015 | DMCA | Contact us