Artículos relacionados a Specification And Validation Methods (International...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Specification And Validation Methods (International...
Imagen de archivo
Specification and Validation Methods (International Schools for Computer Scientists)
Publicado por
Oxford University Press, 1995
ISBN 10: 0198538545
ISBN 13: 9780198538547
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: F-934-052
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification and Validation Methods
Publicado por
Clarendon Press, 1995
ISBN 10: 0198538545
ISBN 13: 9780198538547
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 9096863
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification and Validation Methods
Publicado por
Oxford Clarendon Press, 1995
ISBN 10: 0198538545
ISBN 13: 9780198538547
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 9258021
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification and Validation Methods (International Schools for Computer Scientists)
Publicado por
Oxford Clarendon Press, 1995
ISBN 10: 0198538545
ISBN 13: 9780198538547
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 8246667
Cantidad disponible: 1 disponibles