Advanced symbolic analysis for VLSI systems: [electronic resource] :: methods and applications /: Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle.

Advanced symbolic analysis for VLSI systems [electronic resource] : methods and applications / Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle.

2014

TK7874.75

Formats

Linked Resource

Title

Advanced symbolic analysis for VLSI systems [electronic resource] : methods and applications / Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle.

Author

ISBN

9781493911035 electronic book
1493911031 electronic book
9781493911028

Published

New York : Springer, [2014]

Language

English

Description

1 online resource : illustrations (some color)

Call Number

TK7874.75

Dewey Decimal Classification

621.395

Bibliography, etc. Note

Includes bibliographical references and index.

Access Note

Access limited to authorized users.

Added Author

Available in Other Form

Print version: 9781493911028

Linked Resources

Record Appears in