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

Hardcover

ISBN 10: 0198538545 ISBN 13: 9780198538547

Verlag: Clarendon Press, 1995

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Clarendon Press
• Erscheinungsdatum: 1995
• Sprache: Englisch
• ISBN 10: 0198538545
• ISBN 13: 9780198538547
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 460
• Herausgeber: Borger Egon
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Ufficio Anagrafiche Messaggerie; ufficio.anagrafiche@meli.it; ; Via Verdi, 8; Assago Milano; 20090; Italien