An edition of Symbolic model checking (1993)

Symbolic model checking

by

Cover of: Symbolic model checking by Kenneth L. McMillan, Kenneth L. McMillan
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
December 4, 2010 | History
Edit
An edition of Symbolic model checking (1993)

Symbolic model checking

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Kluwer Academic
Language
English
Pages
194

Check nearby libraries

Buy this book

Subjects

Circuits, Data processing, Design, Electronic digital computers, Logic design, Symbolic circuit analysis
Edition Availability
Cover of: Symbolic model checking
Symbolic model checking
1993, Kluwer Academic
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 183-190) and index.

Published in
Boston

Classifications

Dewey Decimal Class
621.39/2
Library of Congress
TK7888.4 .M43 1993

The Physical Object

Pagination
xv, 194 p. :
Number of pages
194

Edition Identifiers

Open Library
OL1415395M
ISBN 10
0792393805
LCCN
93024859
OCLC/WorldCat
28212243
Goodreads
4406550

Work Identifiers

Work ID
OL3931662W

Source records

Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page