Matches in Library of Congress for { <http://lccn.loc.gov/2002023653> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2002023653 contributor B9216697.
- 2002023653 contributor B9216698.
- 2002023653 created "c2002.".
- 2002023653 date "2002".
- 2002023653 date "c2002.".
- 2002023653 dateCopyrighted "c2002.".
- 2002023653 description "Includes bibliographical references (p. [187]-193) and index.".
- 2002023653 extent "xvii, 196 p. :".
- 2002023653 identifier "140207025X (alk. paper)".
- 2002023653 identifier 2002023653-d.html.
- 2002023653 identifier 2002023653-t.html.
- 2002023653 isPartOf "The Kluwer international series in engineering and computer science ; SECS 676".
- 2002023653 issued "2002".
- 2002023653 issued "c2002.".
- 2002023653 language "eng".
- 2002023653 publisher "Boston : Kluwer Academic Publishers,".
- 2002023653 subject "004/.35 21".
- 2002023653 subject "Computer systems Verification.".
- 2002023653 subject "Parallel processing (Electronic computers)".
- 2002023653 subject "QA76.58 .J83 2002".
- 2002023653 subject "Real-time data processing.".
- 2002023653 title "Compositional verification of concurrent and real-time systems / by Eric Y.T. Juan, Jeffrey J.P. Tsai.".
- 2002023653 type "text".