Artifact Details

Title

The MPC adventures; experiences with the generation of VLSI design and implementation methodologies; The TXDT package - Interlisp text editing primitives; Laurel manual; Techniques for program verification

Catalog Number

102660618

Type

Text

Date

1981

Author

Conway, Lynn A.; Moore, J. Strother; Brotz, Douglas K.; Nelson, Greg

Publisher

Xerox PARC (Palo Alto Research Center)

Category

Technical Report

Collection Title

Company Collection

Lot Number

X3067.2005