Language:
English
Francais
繁體中文
Help
回圖書館
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Abstraction, refinement and proof for probabilistic systems
Record Type:
Language materials, printed : monographic
Author:
McIverAnnabelle.,
Alternative Intellectual Responsibility:
MorganCarroll, 1952-
Place of Publication:
New York
Published:
Springer;
Year of Publication:
c2005.
Description:
xix, 383 p.ill. : 24 cm.;
Series:
Monographs in computer science
Subject:
Systems engineering. -
Subject:
Engineering mathematics. -
Subject:
Probabilities. -
ISBN:
0387401156
Abstraction, refinement and proof for probabilistic systems
McIver, Annabelle.
Abstraction, refinement and proof for probabilistic systems
/ Annabelle McIver, Carroll Morgan. - New York : Springer, c2005.. - xix, 383 p. ; ill. ; 24 cm.. - (Monographs in computer science).
Includes bibliographical references (p. [345]-355) and indexes..
ISBN 0387401156
Systems engineering.Engineering mathematics.Probabilities.
Morgan, Carroll
Abstraction, refinement and proof for probabilistic systems
LDR
:00605nam0 2200181 i 450
001
144996
005
20120618205911.0
010
1
$a
0387401156
$b
hbk.
$d
NT2788
100
$a
20071203d2005 m y0engy08 b
101
$a
eng
102
$a
us
105
$a
a a 001yy
200
1
$a
Abstraction, refinement and proof for probabilistic systems
$f
Annabelle McIver, Carroll Morgan.
210
$a
New York
$d
c2005.
$c
Springer
215
1
$a
xix, 383 p.
$c
ill.
$d
24 cm.
225
2
$a
Monographs in computer science
320
$a
Includes bibliographical references (p. [345]-355) and indexes.
410
0
$1
2001
$a
Monographs in computer science
606
$a
Systems engineering.
$3
112187
$3
220057
606
$a
Engineering mathematics.
$3
128938
606
$a
Probabilities.
$3
54293
$3
229913
676
$a
005.1
700
$a
McIver
$b
Annabelle.
$3
128936
701
$a
Morgan
$b
Carroll
$f
1952-
$3
128937
based on 0 review(s)
ALL
4樓西文圖書區
Items
1 records • Pages 1 •
1
Search Note
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
Print
00218254
4樓西文圖書區
一般圖書
一般圖書
005.1 M152
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login