Artifact Details

Title

System design from provably correct constructs

Catalog Number

102742890

Type

Document

Date

1985

Author

Martin, James

Publisher

Prentice-Hall, Inc.

Extent

392 p.

Category

Book

Collection Title

Gift of David Gross

Credit

Gift of David Gross

Lot Number

X4337.2008