Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 5 of 280
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 5 of 280

Additional Resources