Formal Methods for Hardware Verification

ISBN 10: 3540343040 ISBN 13: 9783540343042

Verlag: Springer, 2006

Sprache: Englisch

Gebraucht Zustand: Used Softcover

F�r sp�ter vormerken

Verk�ufer Books Puddle, New York, NY, USA

Verk�uferbewertung 4 von 5 Sternen

AbeBooks-Verk�ufer seit 22. November 2018

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Preis: EUR 51,38 W�hrung umrechnen

EUR 7,80 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

pp. 256. Bestandsnummer des Verk�ufers 26303002

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Methods for Hardware Verification

Verlag: Springer

Erscheinungsdatum: 2006

Einband: Softcover

Zustand: Used

�ber diesen Titel

Inhaltsangabe:

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

Rese�a del editor:

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.

Zur Homepage des Verk�ufers