| Record ID | marc_loc_2016/BooksAll.2016.part31.utf8:188277402:1090 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part31.utf8:188277402:1090?format=raw |
LEADER: 01090cam a22003014a 4500
001 2004057839
003 DLC
005 20080308091837.0
008 040903s2005 nyua b 001 0 eng
010 $a 2004057839
020 $a0387401156 (alk. paper)
035 $a(OCoLC)ocm56615822
040 $aDLC$cDLC$dYDX$dDLC
042 $apcc
050 00 $aTA340$b.M43 2005
082 00 $a005.1$222
100 1 $aMcIver, Annabelle.
245 10 $aAbstraction, refinement and proof for probabilistic systems /$cAnnabelle McIver, Carroll Morgan.
260 $aNew York :$bSpringer,$cc2005.
300 $axix, 383 p. :$bill. ;$c24 cm.
440 0 $aMonographs in computer science
504 $aIncludes bibliographical references (p. [345]-355) and indexes.
650 0 $aEngineering mathematics.
650 0 $aProbabilities.
650 0 $aSystems engineering.
700 1 $aMorgan, Carroll,$d1952-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0662/2004057839-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0817/2004057839-t.html