Order Total (1 Item Items):
Shipping Destination:
Chennareddy Venkateswarlu (16 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (16)
- 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
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (16)
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 (2)
- Not Print on Demand (10)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 8.46
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 15.67
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 16.98
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Paperback. Condition: new. Paperback. This book talks about the Specification and Verification of Distributed Shared Memory Relaxed Consistency Models specifically Weak Consistency Models. For this, an abstract Distributed Shared Memory (DSM) has been designed and implemented using CADP (Construction and Analysis of Distributed Processes). In DSM, sequential consistency unnecessarily reduces the performance of the system because it does not allow reordering or pipelining the memory operations. Weak consistency allows the reordering of memory events and buffering or pipelining of memory accesses so weak consistency improves the performance of the DSM system. For any critical system, it is very important to develop methods that increase our confidence in the correctness of such systems. One such method for the correctness of critical systems is formal verification. For verification of the weak consistency model, the properties of weak consistency have been specified and verified on the Abstract DSM System using CADP Toolbox. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Data Structures in Java: Top 100 Programming Questions and Solutions
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 19.40
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 21.15
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketPaperback. Condition: New.
-
£ 13.34
Convert currency£ 14.93 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 14.36
Convert currency£ 14.93 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Data Structures in Java
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 4 out of 5 stars
£ 25.33
Convert currency£ 25 shipping within United KingdomQuantity: Over 20 available
Add to basketPaperback. Condition: New.
-
£ 17.18
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
£ 16.91
Convert currency£ 63.47 shipping from U.S.A. to United KingdomQuantity: 3 available
Add to basketSoft cover. Condition: New.
-
Data Structures in Java
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
£ 20.06
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
£ 15.38
Convert currency£ 7.47 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Print on Demand.
-
£ 23.59
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
£ 16.92
Convert currency£ 7.47 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Print on Demand.
-
Distributed Shared Memory Consistency Models
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
£ 27.20
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
