LorePath
  • Browse
  • ·FAQ
Back to Results

Magical Tome

Cover of Applied formal verification
First published
2005
Publisher
McGraw-Hill Professional
Pages
240 pages
ISBN
9780071443722

Applied formal verification

The outer archives are busy

by Douglas L. Perry

About this book

The number of transistors that can be contained on a silicon device continues to increase year after year.

Match Score

Create a free account to see Match Scores on books the community has marked — once you’ve set your preferences.

Create free account

Marks of the Realm

Marks left by readers of this tome

No community marks yet — be the first to inscribe this tome.

Pacing

—out of 5

Horror / Dark Elements

—out of 5

Romance

—out of 5

Spice Level

—out of 5

LGBTQ+ Representation

—out of 5

Social & Political Themes in Stories

—out of 5

Inscribe Your Rating

Mark this tome across each content category