New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verk�ufers ABEJUNE24-341846

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Methods For Hardware Verification

Verlag: Springer

Erscheinungsdatum: 2006

Einband: Softcover

Zustand: Brand New

�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

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Gesch�ftsbedingungen:

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

Versandinformationen:

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Impressum & Info zum Verk�ufer

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Formal Methods For Hardware Verification

Formal Methods For Hardware Verification

Bernardo, Marco; Cimatti, Alessandro ,

Neu - Softcover

Unternehmensdaten des Verk�ufers