Articoli correlati a Specification and Validation Methods
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.
Compra usato
Condizioni: ottimoAncien livre de bibliothèque. Couverture...
Visualizza questo articolo
EUR 6,88
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiRisultati della ricerca per Specification and Validation Methods
Foto dell'editore
Specification and Validation Methods (International Schools for Computer Scientists)
Editore:
Oxford University Press, 1995
ISBN 10: 0198538545
ISBN 13: 9780198538547
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo F-934-052
Quantità: 1 disponibili
Foto dell'editore
Specification and Validation Methods
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 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. Codice articolo 9096863
Quantità: 1 disponibili
Foto dell'editore
Specification and Validation Methods
Editore:
Oxford Clarendon Press, 1995
ISBN 10: 0198538545
ISBN 13: 9780198538547
Antico o usato
Rilegato
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 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. Codice articolo 9258021
Quantità: 1 disponibili
Foto dell'editore
Specification and Validation Methods (International Schools for Computer Scientists)
Editore:
Oxford Clarendon Press, 1995
ISBN 10: 0198538545
ISBN 13: 9780198538547
Antico o usato
Rilegato
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 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. Codice articolo 8246667
Quantità: 1 disponibili