Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Practical Formal Methods for Hardware Design

Practical Formal Methods for Hardware Design

by Carlos Delgado Kloos, Werner Damm

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 1997

₹5,080

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Practical Formal Methods for Hardware Design is written by Carlos Delgado Kloos & Werner Damm. This edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (1997) has 293 pages. The book is part of the Research reports ESPRIT series.

The book deals with Logic circuits, Methodology, Computer hardware description languages and Digital integrated circuits.

Book details

ISBN-13
9783540620075
ISBN-10
3540620079
Authors
Carlos Delgado Kloos, Werner Damm
Published
1997
Series
Research reports ESPRIT
Edition
Softcover reprint of the original 1st ed. 1997
Pages
293
Language
English
Condition
New
See all