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
Formal methods in computer-aided design

Formal methods in computer-aided design

by FMCAD '98 (1998 Palo Alto, Calif.)

1998CongressesComputer-aided designDigital integrated circuitsComputer engineeringVerification
0.0
Open Library
Open Library

Themes & subjects

CongressesComputer-aided designDigital integrated circuitsComputer engineeringVerificationAutomatic theorem proving
First published 1998

Author

FMCAD '98 (1998 Palo Alto, Calif.)

First published

1998

Pages

528

Read time

≈ 13h

Editions

1

Language

English

Publisher

Springer

ISBN

3540651918

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

Manifest der Kommunistischen Partei

Communism · Sources

Manifest der Kommunistischen Partei

Karl Marx

1848

Nicomachean Ethics

Ethics · Early works to 1800

Nicomachean Ethics

Aristotle

1558

Lord Jim

Fiction · British

Lord Jim

Joseph Conrad

1900

Θεαίτητος

Theory of Knowledge · Ancient Philosophy

Θεαίτητος

Πλάτων

1861

Sartor resartus

Fiction · Philosophers

Sartor resartus

Thomas Carlyle

1800

La nausée

Existentialism · Fiction

La nausée

Jean-Paul Sartre

1938

Rembrandt

Etching · Dutch Painting

Rembrandt

Rembrandt Harmenszoon van Rijn

1900

Capitalism, Socialism and Democracy

Socialism · Democracy

Capitalism, Socialism and Democracy

Joseph Alois Schumpeter

1942

Dicho Y Hecho

English · English speakers

Dicho Y Hecho

Laila M. Dawson

1993

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Documents diplomatiques

Armenian question · Automobiles

Documents diplomatiques

Ministère des Affaires étrangères (France)

1872

The Door into Summer

American Science fiction · Cold Sleep

The Door into Summer

Robert A. Heinlein

1957

Control and Dynamic Systems

Control · Control theory

Control and Dynamic Systems

Cornelius T. Leondes

1985

Representing landscapes

Landscape architectural drawing · Visual communication in art

Representing landscapes

Nadia Amoroso

2012

Cooperative Design, Visualization, and Engineering

Pattern perception · Computers and Society

Cooperative Design, Visualization, and Engineering

Yuhua Luo

2004

Vectorworks for Entertainment Design

Engineering design · Stage lighting

Vectorworks for Entertainment Design

Kevin Lee Allen

2014

Applying AutoCAD

AutoCAD · Computer graphics

Applying AutoCAD

Terry T. Wohlers

1986

Eurotech direct '91

CAD/CAM systems · Computer integrated manufacturing systems

Eurotech direct '91

European Engineering Research and Technology Transfer Congress (1991 Birmingham, England)

1991