- We will send in 10–14 business days.
/https://libri-media.knygos-static.lt/eec1454a-65a8-4a13-b83b-90d6571bf058/1)
- Publisher: Springer-Verlag GmbH
- Year: 2006
- ISBN-10: 3540343040
- ISBN-13: 9783540343042
- Format: 15.7 x 23.8 x 1.7 cm, kieti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Formal Methods for Hardware Verification (e-book) (used book) | bookbook.eu
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 22d.23:42:57
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Publisher: Springer-Verlag GmbH
- Year: 2006
- ISBN-10: 3540343040
- ISBN-13: 9783540343042
- Format: 15.7 x 23.8 x 1.7 cm, kieti viršeliai
- Language: English English
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.
Reviews