Matches in Library of Congress for { <http://lccn.loc.gov/95101224> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 95101224 contributor B7518919.
- 95101224 created "[1993]".
- 95101224 date "1993".
- 95101224 date "[1993]".
- 95101224 dateCopyrighted "[1993]".
- 95101224 description "Includes bibliographical references (p. 101-107).".
- 95101224 extent "ix, 107 p. ;".
- 95101224 isPartOf "Report (Stanford University. Computer Science Department) ; no. STAN-CS-TR-94-1522.".
- 95101224 isPartOf "Report ; no. STAN-CS-TR-94-1522".
- 95101224 issued "1993".
- 95101224 issued "[1993]".
- 95101224 language "eng".
- 95101224 publisher "Stanford, Calif. : Dept. of Computer Science, Stanford University,".
- 95101224 subject "Computer software Verification.".
- 95101224 subject "QA76.76.V47 C47 1993".
- 95101224 subject "Real-time data processing.".
- 95101224 title "Compositional verification of reactive and real-time systems / by Edward Chang.".
- 95101224 type "text".