It looks like you're offline.

Last edited by RenameBot

August 20, 2008 | History

Edit

David L. Dill

We need a photo of David L. Dill

3 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Preview

Preview Book
×Close

Trace theory for automatic hierarchical verification of speed-independent circuits

by David L. Dill First published in 1989 — 2 editions
Borrow

Listen

Locate
My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings (Lecture Notes in Computer Science)

by David L. Dill First published in 1994 — 1 edition

Preview Only

My Reading Lists:

Create a new list
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

by David L. Dill First published in 2014 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of David L. Dill

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL1004663A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

August 20, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import