Matches in Library of Congress for { <http://lccn.loc.gov/88192811> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 88192811 contributor B5766698.
- 88192811 contributor B5766699.
- 88192811 created "c1988.".
- 88192811 date "1988".
- 88192811 date "c1988.".
- 88192811 dateCopyrighted "c1988.".
- 88192811 description "Bibliography: p. 52-54.".
- 88192811 extent "iii, 56 p. :".
- 88192811 isPartOf "Report (Stanford University. Computer Science Department) ; no. STAN-CS-88-1210.".
- 88192811 isPartOf "Report ; no. STAN-CS-88-1210".
- 88192811 issued "1988".
- 88192811 issued "c1988.".
- 88192811 language "eng".
- 88192811 publisher "Stanford, Calif. : Dept. of Computer Science, Stanford University,".
- 88192811 subject "Electronic digital computers Design and construction.".
- 88192811 subject "Sequential machine theory.".
- 88192811 subject "Synchronization.".
- 88192811 subject "TK7888.3 .B75 1988".
- 88192811 title "String-functional semantics for formal verification of synchronous circuits / Alexandre Bronstein & Carolyn L. Talcott.".
- 88192811 type "text".