An edition of Current trends in hardware verification and automated theorem proving (1989)

Current trends in hardware verification and automated theorem proving

by G. M. Birtwistle

Preview

Borrow Listen

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

Buy this book

Last edited by MARC Bot

November 9, 2020 | History

Edit

An edition of Current trends in hardware verification and automated theorem proving (1989)

Current trends in hardware verification and automated theorem proving

by G. M. Birtwistle

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

Publish Date

1989

Publisher

Springer-Verlag

Language

English

Pages

489

Check nearby libraries

Buy this book

Previews available in: English

Edition	Availability
1 Current trends in hardware verification and automated theorem proving 1989, Springer-Verlag in English 0387969888 9780387969886	aaaa Borrow Listen Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in: New York

Classifications

Dewey Decimal Class: 621.395
Library of Congress: TK7874 .C85 1989

The Physical Object

Pagination: viii, 489 p. :
Number of pages: 489

ID Numbers

Open Library: OL2187889M
Internet Archive: currenttrendsinh0000unse
ISBN 10: 0387969888
LCCN: 89006049
OCLC/WorldCat: 19395216
Goodreads: 4583672

Source records

Library of Congress MARC record
Internet Archive item record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Created November 9, 2020
1 revision

Download catalog record: RDF / JSON

November 9, 2020

Created by MARC Bot

import existing book

Current trends in hardware verification and automated theorem proving

by G. M. Birtwistle