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

New to the Open Library? — Learn how it works
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

Read

No readable version available.

Buy

Amazon
Better World Books $14.59 (used)

Lists

You could add Symbolic simulation methods for industrial formal verification to a list if you log in.
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