Order Total (1 Item Items):
Shipping Destination:
Mciver, Annabelle; Morgan, Charles Carroll (20 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (20)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (19)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (4)
- Not Print on Demand (19)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
£ 31.22
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
£ 32.59
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
£ 34.11
Convert currencyFree shipping from Australia to United KingdomQuantity: 6 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
£ 61.79
Convert currencyFree shipping from Australia to United KingdomQuantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
£ 86.51
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
£ 94.11
Convert currencyFree shipping from Australia to United KingdomQuantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 114.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 134.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 133.86
Convert currency£ 14.83 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New.
-
£ 129.03
Convert currency£ 22.24 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 129.03
Convert currency£ 22.24 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 160.05
Convert currency£ 14.83 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 159.83
Convert currency£ 21.77 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketGebunden. Condition: New. This unique, example-driven monograph integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semanticsIllustrates by example th.
-
Abstraction, Refinement and Proof for Probabilistic Systems
Published by Springer-Verlag New York Inc., 2004
ISBN 10: 0387401156 ISBN 13: 9780387401157
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
£ 181.20
Convert currency£ 2.61 shipping from Ireland to United KingdomQuantity: 15 available
Add to basketCondition: New. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm. This title presents results of a large and integrated body of research in the area of 'quantitative' program logics. Series: Monographs in Computer Science. Num Pages: 408 pages, 63 black & white illustrations, 5 black & white tables, biography. BIC Classification: PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 1650. . 2004. Hardback. . . . .
-
£ 136.42
Convert currency£ 55.64 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 136.77
Convert currency£ 55.64 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Abstraction, Refinement and Proof for Probabilistic Systems
Published by Springer-Verlag New York Inc., 2010
ISBN 10: 1441923128 ISBN 13: 9781441923127
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
£ 198.91
Convert currency£ 2.61 shipping from Ireland to United KingdomQuantity: 15 available
Add to basketCondition: New. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics. Series: Monographs in Computer Science. Num Pages: 408 pages, 63 black & white illustrations, 5 black & white tables, biography. BIC Classification: PBT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 617. . 2010. Softcover reprint of hardcover 1st ed. 2005. paperback. . . . .
-
Abstraction, Refinement and Proof for Probabilistic Systems
Published by Springer-Verlag New York Inc., 2004
ISBN 10: 0387401156 ISBN 13: 9780387401157
Language: English
£ 219.04
Convert currency£ 2.23 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm. This title presents results of a large and integrated body of research in the area of 'quantitative' program logics. Series: Monographs in Computer Science. Num Pages: 408 pages, 63 black & white illustrations, 5 black & white tables, biography. BIC Classification: PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 1650. . 2004. Hardback. . . . . Books ship from the US and Ireland.
-
Abstraction, Refinement and Proof for Probabilistic Systems
Published by Springer-Verlag New York Inc., 2010
ISBN 10: 1441923128 ISBN 13: 9781441923127
Language: English
£ 240.89
Convert currency£ 2.23 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics. Series: Monographs in Computer Science. Num Pages: 408 pages, 63 black & white illustrations, 5 black & white tables, biography. BIC Classification: PBT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 617. . 2010. Softcover reprint of hardcover 1st ed. 2005. paperback. . . . . Books ship from the US and Ireland.
-
£ 122.16
Convert currency£ 21.77 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This unique, example-driven monograph integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semanticsIllustrates by example th.
