Specification and Validation Methods - Rilegato

 
9780198538547: Specification and Validation Methods
Rilegato
ISBN 10: 0198538545 ISBN 13: 9780198538547
Casa editrice: Oxford Univ Pr, 1995

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Oxford Univ Pr
Data di pubblicazione
1995
Lingua
Inglese
ISBN 10 
0198538545
ISBN 13 
9780198538547
Rilegatura
Copertina rigida
Numero di pagine
460
Redattore
Borger Egon
Contatto del produttore
non disponibile
Persona responsabile
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8.
Assago Milano
20090
Italia