Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by WorkBot
January 23, 2010 | History

Symbolic simulation methods for industrial formal verification 1 edition

Symbolic simulation methods for industrial formal verification
Robert B. Jones

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book

Amazon
Better World Books $7.98 (used)

What the..? There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Symbolic simulation methods for industrial formal verification
Robert B. Jones.

Published 2002 by Kluwer Academic Publishers in Boston .
Written in English.

Edition Notes

Includes bibliographical references (p. [135]-142) and index.

Classifications

Library of Congress
TK7874.75 .J66 2002, TK7874.75 .J66 2002

The Physical Object

Pagination
xviii, 150 p. :
Number of pages
150

ID Numbers

Open Library
OL18183087M
ISBN 10
1402071035
LC Control Number
2002067475

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

January 23, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page