Matches in Library of Congress for { <http://lccn.loc.gov/94042672> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 94042672 contributor B7207397.
- 94042672 created "c1994.".
- 94042672 date "1995".
- 94042672 date "c1994.".
- 94042672 dateCopyrighted "c1994.".
- 94042672 description "Includes bibliographical references (p. 241-262) and index.".
- 94042672 extent "xii, 270 p. ;".
- 94042672 identifier "0691034362".
- 94042672 identifier 94042672.html.
- 94042672 identifier 94042672.html.
- 94042672 isPartOf "Princeton series in computer science".
- 94042672 issued "1995".
- 94042672 issued "c1994.".
- 94042672 language "eng".
- 94042672 publisher "Princeton, N.J. : Princeton University Press,".
- 94042672 subject "670.42 20".
- 94042672 subject "Computational complexity.".
- 94042672 subject "Expert systems (Computer science) Verification.".
- 94042672 subject "Manufacturing processes Planning Data processing.".
- 94042672 subject "System design.".
- 94042672 subject "TS183.3 .K87 1994".
- 94042672 title "Computer-aided verification of coordinating processes : the automata-theoretic approach / Robert P. Kurshan.".
- 94042672 type "text".