Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 282 of 922
A Roadmap for Formal Property Verification Cover Image E-book E-book

A Roadmap for Formal Property Verification

DasGupta, Pallab. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9781402047589
  • Physical Description: electronic
    electronic resource
    access
    remote
    XIII, 251 p. online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2006.

Search for related items by subject

Subject: Engineering
Logic design
Computer science
Computer aided design
Electronics
Systems engineering
Engineering
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Electronics and Microelectronics, Instrumentation
Logic Design
Electronic and Computer Engineering
Mathematical Logic and Formal Languages

Electronic resources

Texto completo

Back To Results
Showing Item 282 of 922

Additional Resources