Matches in Library of Congress for { <http://lccn.loc.gov/92188336> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 92188336 contributor B6773739.
- 92188336 contributor B6773740.
- 92188336 created "[1992]".
- 92188336 date "1992".
- 92188336 date "[1992]".
- 92188336 dateCopyrighted "[1992]".
- 92188336 description "Includes bibliographical references (p. 59-60).".
- 92188336 extent "60 p. :".
- 92188336 isPartOf "Report (Stanford University. Computer Science Department) ; no. STAN-CS-92-1408.".
- 92188336 isPartOf "Report ; no. STAN-CS-92-1408".
- 92188336 issued "1992".
- 92188336 issued "[1992]".
- 92188336 language "eng".
- 92188336 publisher "Stanford, Calif. : Dept. of Computer Science, Stanford University,".
- 92188336 subject "Logic, Symbolic and mathematical.".
- 92188336 subject "QA76.54 .C45 1992".
- 92188336 subject "Real-time programming.".
- 92188336 title "The safety-progress classification / by E. Chang, Z. Manna, A. Pnueli.".
- 92188336 type "text".