Real-Time Systems: Formal Specification and Automatic Verification

Mina Finds
(667)
Seller's other items
Contact seller
GBP 17.91
ApproximatelyRM 101.45
or Best Offer
Condition:
Good
“Please review all the pictures and read the description as it helps to describe the item.”
Hurry before it's gone. 1 person is watching this item.
This item will be sent through eBay's Global Shipping Program.
Includes international tracking, simplified customs clearance, and no extra charges at delivery. Learn more
Shipping:
GBP 18.85 (approx RM 106.78) International Priority Shipping to United States via eBay's Global Shipping Program
This amount includes seller specified domestic shipping charges as well as applicable international shipping, handling, and other fees. This amount is subject to change until you make payment. For additional information, see the Global Shipping Program terms and conditions
.
Located in: Reading, United Kingdom
Import charges: 
Free amount confirmed at checkout
This amount includes applicable customs duties, taxes, brokerage and other fees. This amount is subject to change until you make payment. For additional information, see the Global Shipping Program terms and conditions
Delivery:
Estimated between Fri, 31 Oct and Mon, 10 Nov to 94104
Estimated delivery dates - opens in a new window or tab include seller's handling time, origin ZIP Code, destination ZIP Code and time of acceptance and will depend on shipping service selected and receipt of cleared paymentcleared payment - opens in a new window or tab. Delivery times may vary, especially during peak periods.
Includes international tracking
Returns:
No returns accepted.
International shipping and import charges paid to Pitney Bowes Inc. Learn moreLearn more about eBay global shipping program
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:135646066945
Last updated on Jul 20, 2025 22:09:34 MYTView all revisionsView all revisions

Item specifics

Condition
Good
A book that has been read but is in good condition. Very minimal damage to the cover including scuff marks, but no holes or tears. The dust jacket for hard covers may not be included. Binding has minimal wear. The majority of pages are undamaged with minimal creasing or tearing, minimal pencil underlining of text, no highlighting of text, no writing in margins. No missing pages. See all condition definitionsopens in a new window or tab
Seller Notes
“Please review all the pictures and read the description as it helps to describe the item.”
Book Title
Real-Time Systems: Formal Specification and Automatic Verificatio
Genre
COMPUTERS
ISBN
9780521883337
Category

About this product

Product Identifiers

Publisher
Cambridge University Press
ISBN-10
0521883334
ISBN-13
9780521883337
eBay Product ID (ePID)
87837560

Product Key Features

Number of Pages
344 Pages
Publication Name
Real-Time Systems : Formal Specification and Automatic Verification
Language
English
Publication Year
2008
Subject
Networking / General, Data Processing
Type
Textbook
Subject Area
Computers
Author
Henning Dierks, Ernst-Rüdiger Olderog
Format
Hardcover

Dimensions

Item Height
0.7 in
Item Weight
28.7 oz.
Item Length
10 in
Item Width
7.1 in

Additional Product Features

Intended Audience
Scholarly & Professional

Item description from the seller

About this seller

Mina Finds

99.7% positive feedback•1.4K items sold

Joined May 2021
Welcome to MinaFinds – Your Preloved Treasure Trove!At MinaFinds, we specialize in high-quality preloved items, including fragrances, books, collectibles, phones, and more! From unique finds to ...
See more
Visit storeContact

Detailed Seller Ratings

Average for the last 12 months
Accurate description
4.8
Reasonable shipping cost
4.8
Shipping speed
5.0
Communication
5.0

Seller feedback (660)

All ratingsselected
Positive
Neutral
Negative
  • n***2 (2490)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Quick Delivery. Well Packaged. Great Price. Brilliant Seller. Great Communication.Item as described.Many thanks+++++++++++
    Royal Worcester King Size Egg Coddler Floral Woodland Spray (#135456483948)
  • t***1 (7)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    The item I bought was just as it was described and was suitable for my needs.It was competitively priced and the postage was reasonable.It arrived well packaged and protected.The seller did a good job with the parcel.
    True Vintage Padlock 2 Tour with One Key Steel Rusted (#135471776693)
  • c***2 (34)- Feedback left by buyer.
    Past month
    Verified purchase
    Won these earrings in an auction very pleased postage was very quick packaging was great they are exactly as described and superb value for money
    African Tribal Glass Earrings Gold Beads Ethnic (#136488359063)
See all feedback

More to explore :