Tools

LEADER 01482cam a22004214a 4500

001 ocm56615822;

003 OCoLC;

005 20141212181101.0;

008 040903s2005 nyua b 001 0 eng ;

010 a| 2004057839;

020 a| 0387401156 (alk. paper);

035 a| (Sirsi) o56615822;

035 a| (OCoLC)56615822;

040 a| DLCc| DLCd| YDXd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| TA340b| .M43 2005;

082 00 a| 005.12| 22;

100 1 a| McIver, Annabelle.=| ^A529674;

245 10 a| Abstraction, refinement and proof for probabilistic systems /c| Annabelle McIver, Carroll Morgan.;

300 a| xix, 383 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Monographs in computer science;

504 a| Includes bibliographical references (p. [345]-355) and indexes.;

650 0 a| Engineering mathematics.=| ^A21880;

650 0 a| Probabilities.=| ^A14253;

650 0 a| Systems engineering.=| ^A10285;

700 1 a| Morgan, Carroll,d| 1952-=| ^A261416;

830 0 a| Monographs in computer science.=| ^A363342;

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2004-12-29b| 79.95d| 0e| 67.16f| 514125;

596 a| 1;

998 a| 984908;

999 a| TA340 .M43 2005w| LCc| 1i| 30372012716723d| 12/6/2012f| 12/6/2012g| 1l| JGESm| JOYNERp| $67.16r| Ys| Yt| JGESBKu| 1/14/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.

Author/creator	McIver, Annabelle
Other author	Morgan, Carroll, 1952-
Format	Book
Publication Info	New York : Springer Science+Business Media, ©2005.
Description	xix, 383 pages : illustrations ; 24 cm.
Subjects	Engineering mathematics. Probabilities. Systems engineering.

Series	Monographs in computer science Monographs in computer science. ^A363342
Bibliography note	Includes bibliographical references (p. [345]-355) and indexes.
LCCN	2004057839
ISBN	0387401156 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TA340 .M43 2005	✔ Available	Place Hold

Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.

Click here for more information about this title

Availability