An edition of Formal verification of basic memory devices (1988)

Formal verification of basic memory devices.

by

Formal verification of basic memory devices.
John Herbert, John Herbert
Locate

My Reading Lists:

Create a new list
Notes
Notes

Buy this book

Last edited by ImportBot
December 8, 2009 | History
Edit
An edition of Formal verification of basic memory devices (1988)

Formal verification of basic memory devices.

by

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

Publish Date
Publisher
University of Cambridge, Computer Laboratory
Language
English
Pages
46

Buy this book

Edition Availability
Cover of: Formal verification of basic memory devices.
Formal verification of basic memory devices.
1988, University of Cambridge, Computer Laboratory
in English

Add another edition?

Book Details

Edition Notes

Published in
Cambridge
Series
Technical report -- No.124

The Physical Object

Pagination
46p.
Number of pages
46

Edition Identifiers

Open Library
OL13934410M

Work Identifiers

Work ID
OL487771W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
December 8, 2009 Created by ImportBot add works page