Join Books.org — it's free
Home > Books > Formal Verification of Hardware Design

Architecture
Formal Verification of Hardware Design by Michael Yoeli — book cover

Formal Verification of Hardware Design

by Michael Yoeli
Write a review
Log in to track your reading progress.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
January 1, 1990
Publisher
IEEE Computer Society Press
Format
Microfiche
ISBN
9780818660177

More by Michael Yoeli

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Similar books

The Global Architect, Vol. 1
The Global Architect, Vol. 1
Reekie's Architectural Drawing
Reekie's Architectural Drawing
Interior Design Materials and Specifications
Interior Design Materials and Specifications
Earth Muse: Feminism, Nature and Art
Earth Muse: Feminism, Nature and Art
The Art & Architecture: Louvre (The Art and Architecture Series)
The Art & Architecture: Louvre (The Art and Architecture Series)
Interaction design: User-centered design, Human?computer interaction, Industrial design, Inf...
Interaction design: User-centered design, Human?computer interaction, Industrial design, Inf...
Adaptive Reuse
Adaptive Reuse
Seismic Design of Building Structures
Seismic Design of Building Structures
Eco-Friendly Architecture
Eco-Friendly Architecture
Pride and Prejudice
Pride and Prejudice