Matches in Library of Congress for { <http://lccn.loc.gov/2003066406> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2003066406 contributor B9557876.
- 2003066406 contributor B9557877.
- 2003066406 created "c2004.".
- 2003066406 date "2004".
- 2003066406 date "c2004.".
- 2003066406 dateCopyrighted "c2004.".
- 2003066406 description "Includes bibliographical references (p. [227]-237) and indexes.".
- 2003066406 extent "x, 247 p. ;".
- 2003066406 identifier "3540408231 (hardcover : acid-free paper)".
- 2003066406 identifier 2003066406-b.html.
- 2003066406 identifier 2003066406-d.html.
- 2003066406 identifier 2003066406-t.html.
- 2003066406 isPartOf "EATCS monographs on theoretical computer science".
- 2003066406 issued "2004".
- 2003066406 issued "c2004.".
- 2003066406 language "eng".
- 2003066406 publisher "Berlin : New York : Springer,".
- 2003066406 subject "005.2/73 22".
- 2003066406 subject "Formal methods (Computer science)".
- 2003066406 subject "Mathematics Data processing.".
- 2003066406 subject "QA76.54 .Z46 2004".
- 2003066406 subject "Real-time data processing.".
- 2003066406 title "Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen.".
- 2003066406 type "text".