Matches in Library of Congress for { <http://lccn.loc.gov/2004057839> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2004057839 contributor B9862348.
- 2004057839 contributor B9862349.
- 2004057839 created "c2005.".
- 2004057839 date "2005".
- 2004057839 date "c2005.".
- 2004057839 dateCopyrighted "c2005.".
- 2004057839 description "Includes bibliographical references (p. [345]-355) and indexes.".
- 2004057839 extent "xix, 383 p. :".
- 2004057839 identifier "0387401156 (alk. paper)".
- 2004057839 identifier 2004057839-d.html.
- 2004057839 identifier 2004057839-t.html.
- 2004057839 isPartOf "Monographs in computer science".
- 2004057839 issued "2005".
- 2004057839 issued "c2005.".
- 2004057839 language "eng".
- 2004057839 publisher "New York : Springer,".
- 2004057839 subject "005.1 22".
- 2004057839 subject "Engineering mathematics.".
- 2004057839 subject "Probabilities.".
- 2004057839 subject "Systems engineering.".
- 2004057839 subject "TA340 .M43 2005".
- 2004057839 title "Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.".
- 2004057839 type "text".