Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Search
  • Taxonomies for the Development...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Taxonomies for the Development and Verification of Digital Systems

Taxonomies for the Development and Verification of Digital Systems

Show other versions (1)
Bibliographic Details
Main Author: Bailey, Brian
Other Authors: Anderson, Thomas, Martin, Grant (Grant Edmund)
Format: Electronic Kit Book
Language:English
Published: Boston, MA Springer Science+Business Media, Inc. 2005
Subjects:
Engineering
Computer engineering
Electronics
Logic design
Computer aided design
Systems engineering
Electronic and Computer Engineering
Electronics and Microelectronics, Instrumentation
Logic Design
Computer-Aided Engineering (CAD, CAE) and Design
Circuits and Systems
Online Access:http://dx.doi.org/10.1007/b104217
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Description
Physical Description:v.: digital
ISBN:9780387240213

Similar Items

  • A Roadmap for Formal Property Verification
    by: DasGupta, Pallab
    Published: (2006)
  • Verification Methodology Manual for SystemVerilog
    by: Bergeron, Janick
    Published: (2006)
  • New Algorithms, Architectures and Applications for Reconfigurable Computing
    by: Lysaght, Patrick
    Published: (2005)
  • The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500β„'
    by: Silva, Francisco
    Published: (2006)
  • Constraint-Based Verification
    by: Yuan, Jun
    Published: (2006)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

  • Search Tips
  • Ask a Librarian
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud