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 MARC Bot
July 24, 2024 | History
Edit
An edition of Symbolic model checking (1993)

Symbolic model checking

by

This edition 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 / OPDS | Wikipedia citation
July 24, 2024 Edited by MARC Bot import existing book
November 16, 2020 Edited by MARC Bot import existing book
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
April 13, 2010 Edited by Open Library Bot Linked existing covers to the edition.
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record