Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science, Series Number 37) - Tapa dura

Stavridou, Victoria

9780521443364: Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science, Series Number 37)

Tapa dura

ISBN 10: 0521443369 ISBN 13: 9780521443364

Editorial: Cambridge University Press, 1993

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 20,06

3 Nuevo

De EUR 84,55

Graduate level account of hardware verification and algebraic specification.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Cr�ticas

"...can be read casually by hardware engineers interested in getting an introduction to hardware verification, and understanding the issues influencing its transition to practice. It is also useful as a supplementary text for an undergraduate or a graduate course in hardware verification." M.K. Srivas, The Computer Journal

Rese�a del editor

The rapid growth in the VLSI market has meant that manufacturers are under pressure rapidly to deliver increasingly complex, reliable and cost effective products; dependability is becoming more and more important as computers become an integral part of safety critical systems. So, formal techniques that have been used in software verification have migrated into the hardware domain, where for a variety of reasons, they have been in some respects more successful. This book analyses the factors behind this success and formulates a set of criteria against which various approaches to hardware verification may be judged. This involves identifying the hardware requirements and the issues affecting the industrial use of formal methods. Dr Stavridou also provides an overall perspective of the field, supplies case studies of various formalisms and finally describes an algebraic approach to the specification and verification of synchronous digital systems. This unique account can be used for students and teachers for courses in hardware verification, hardware designers seeking an introduction to formal methods, and researchers interested in algebraic specification.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Cambridge University Press
A�o de publicaci�n: 1993
Idioma: Ingl�s
ISBN 10: 0521443369
ISBN 13: 9780521443364
Encuadernaci�n: Tapa dura
N�mero de p�ginas: 207
Contacto del fabricante: no disponible
Persona responsable: Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia

Comprar usado

Condici�n: Bueno

Ships from the UK. Former library...

Ver este art�culo

EUR 20,06

Convertir moneda

EUR 5,78 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 84,55

Convertir moneda

EUR 9,85 gastos de env�o desde Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Formal Methods in Circuit Design (Cambridge Tracts...

Imagen de archivo

Formal Methods in Circuit Design

Stavridou, Victoria

Publicado por Cambridge University Press, 1993

ISBN 10: 0521443369 ISBN 13: 9780521443364

Antiguo o usado Tapa dura

Librería: Better World Books Ltd, Dunfermline, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. N� de ref. del art�culo: 47051372-75

Contactar al vendedor