fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Applied formal verification

Applied formal verification

by Douglas L. Perry, Harry Foster

Electronic circuitsTestingVerificationIntegrated circuits
0.0
Open Library
Open Library

Themes & subjects

Electronic circuitsTestingVerificationIntegrated circuits

Authors

Douglas L. Perry, Harry Foster

Pages

240

Read time

≈ 6h

Editions

1

Language

English

Publisher

McGraw-Hill Professional

ISBN

9780071443722

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

The ARRL handbook for the radio amateur

Amateur radio · Electronics

The ARRL handbook for the radio amateur

American Radio Relay League (ARRL)

1926

Introduction to electric circuits

Circuits électriques · Electric circuits

Introduction to electric circuits

Herbert W. Jackson

1959

Electronics Fundamentals

Electronic circuits · Electronics

Electronics Fundamentals

Thomas L. Floyd

1987

Introductory Electronic Devices and Circuits

Transistor amplifiers · Electronic circuits

Introductory Electronic Devices and Circuits

Robert T. Paynter

1989

Electronic devices and circuit theory

Electronic circuits · Electronic apparatus and appliances

Electronic devices and circuit theory

Robert L. Boylestad

1972

Electronic devices and circuits

Electronic apparatus and appliances · Electronic circuits

Electronic devices and circuits

Theodore F. Bogart

1986

The radio amateur's hand book

Amateur radio · Electronics

The radio amateur's hand book

Archie Frederick Collins

1922

The art of electronics

Electronic circuit design · Electronics

The art of electronics

Paul Horowitz

1980

Introduction to electricity and electronics

Electric circuits · Electricity

Introduction to electricity and electronics

Allen Mottershead

1982

Circuiti per la microelettronica

Electronic circuits · Integrated circuits

Circuiti per la microelettronica

Adel S. Sedra

1982

Principles and techniques of electromagnetic compatibility

Electronic circuits · Noise

Principles and techniques of electromagnetic compatibility

Christos Christopoulos

1995

Encyclopedia of electronic circuits

Electronic circuits · Encyclopedias

Encyclopedia of electronic circuits

Rudolf F. Graf

1985

Annual book of ASTM standards

United States · Materials

Annual book of ASTM standards

American Society for Testing and Materials

1978

Defense computers

United States · Data processing

Defense computers

United States. General Accounting Office

1997

Advances in Computers

Graphical user interfaces (computer systems) · System analysis

Advances in Computers

Atif Memon

2012

ESD

Electric discharges · Electronic apparatus and appliances

ESD

Steven H. Voldman

2005

The Mismeasure of Man

History · Craniometry

The Mismeasure of Man

Stephen Jay Gould

1981

Science in a Technical World

Laboratory manuals · Plant tissue culture

Science in a Technical World

American Chemical Society

1999