Temporal Verification of Reactive Systems: Safety

Name: Temporal Verification of Reactive Systems: Safety
Brand: Springer-verlag New York Inc.
SKU: 23390185
Price: 2940.00 ZAR
Availability: InStock

1 / 2

Springer-verlag New York Inc. Office

Best Price

R2 940.00

from Loot.co.za

This book presents an extensive verification methodology for proving that reactive systems meet their specifications, expressed as safety properties in the language of temporal logic. The methods include deductive approaches based on theorem proving and fully automatic approaches... Read more

✗ Price Comparison

✗ Trusted Shops

Price History

✓ Free to Use

Price history

BP = Best Price HP = Highest Price

Current Price: R2 940.00

Price Alert

Get notified on drops

Write a Review | Ask a Question

Features

Author	Zohar Manna , Amir Pnueli , Z. Manna
Format	Hardcover
ISBN	9780387944593
Publication Date	12/07/2005
Publisher	Springer
Manufacturer	Springer-verlag New York Inc.

Description

All researchers and students interested in the analysis and verification of reactive and concurrent systems will find this book to be a comprehensive guide on how formal techniques can be used to ensure the correctness of such systems. An educational version of the Stanford Temporal Prover (STeP), a tool which supports the verification of reactive systems, is available for use with this book.

❓ Frequently Asked Questions about Temporal Verification of Reactive Systems: Safety

What is the cheapest price for Temporal Verification of Reactive Systems: Safety?

The cheapest price for Temporal Verification of Reactive Systems: Safety is currently R2 940.00. This product is available from 1 different online stores in South Africa.

Which online store has the best price for Temporal Verification of Reactive Systems: Safety?

The best current price for Temporal Verification of Reactive Systems: Safety is R2 940.00 from Loot.co.za. You can compare all 1 offers above to find the best deal for your needs. Prices are updated regularly to ensure you get the most accurate information.

Is Temporal Verification of Reactive Systems: Safety currently in stock in South Africa?

Yes, Temporal Verification of Reactive Systems: Safety is currently available and in stock at 1 online retailers in South Africa. Stock availability is updated in real-time. Click through to any shop above to check current stock levels and purchase immediately.

Who makes Temporal Verification of Reactive Systems: Safety?

Temporal Verification of Reactive Systems: Safety is manufactured by Springer-verlag New York Inc.. You can browse more Springer-verlag New York Inc. products on PriceCheck.

How long does delivery take for Temporal Verification of Reactive Systems: Safety?

Delivery times for Temporal Verification of Reactive Systems: Safety vary by retailer. Most South African online stores offer delivery within 2-7 business days. Some retailers provide same-day or next-day delivery in major cities like Johannesburg, Cape Town, and Durban. Check individual shop listings above for specific delivery timeframes and costs.

What payment methods are accepted when buying Temporal Verification of Reactive Systems: Safety?

Most retailers selling Temporal Verification of Reactive Systems: Safety accept multiple payment methods including credit cards (Visa, Mastercard), debit cards, EFT, SnapScan, and instant EFT. Many stores also offer payment plans and financing options like Payflex, PayJustNow, or Mobicred for purchases over a certain amount. Some retailers may also accept PayPal or cash on delivery in select areas.

Does Temporal Verification of Reactive Systems: Safety come with a warranty?

Temporal Verification of Reactive Systems: Safety typically comes with a manufacturer's warranty that varies by brand and product type. Most electronics and appliances include a 1-year warranty, while some premium products may offer extended coverage. Additionally, you have consumer protection rights under South African law (Consumer Protection Act). Check with individual retailers for specific warranty terms and any extended warranty options they may offer.

Can I return Temporal Verification of Reactive Systems: Safety if I'm not satisfied?

Yes, most retailers offer a returns policy for Temporal Verification of Reactive Systems: Safety. Typical return windows range from 7 to 30 days from delivery, provided the product is in its original condition with packaging intact. Some retailers may charge a restocking fee or require you to cover return shipping costs. Under the South African Consumer Protection Act, you have the right to return defective products. Check each retailer's specific return policy before purchasing.

How much can I save by comparing prices for Temporal Verification of Reactive Systems: Safety?

By comparing prices for Temporal Verification of Reactive Systems: Safety on PriceCheck, you can potentially save significant amounts. Price comparison ensures you always get the best deal from trusted South African retailers. Plus, by monitoring price trends and setting price alerts, you can time your purchase to maximize savings.

How do I get notified when Temporal Verification of Reactive Systems: Safety is back in stock or on sale?

You can set up price alerts on PriceCheck to be notified when Temporal Verification of Reactive Systems: Safety drops below your target price. Simply click the "Set Price Alert" button above and enter your desired price point and email address. We'll monitor all 1 retailers and notify you immediately when the price drops or when the product comes back in stock at any shop. You can also add Temporal Verification of Reactive Systems: Safety to your wishlist to track price changes over time.

Which shops offer same-day delivery for Temporal Verification of Reactive Systems: Safety?

Several South African retailers offer same-day delivery for Temporal Verification of Reactive Systems: Safety in major metro areas. Availability depends on your location, order time (usually before midday), and stock availability. Check the delivery information for each shop listing above to see which retailers offer express or same-day delivery in your area. Some popular retailers with same-day delivery include Takealot (OneDay), Makro, and select Checkers stores.

Do any shops offer free shipping on Temporal Verification of Reactive Systems: Safety?

Many retailers offer free shipping on Temporal Verification of Reactive Systems: Safety when you meet certain conditions. Common free shipping thresholds in South Africa range from R450 to R500 minimum order value. Some stores like Takealot offer free shipping with their OneCart subscription, while others may have promotional periods with free delivery. Check each shop's listing above for their current delivery fees and free shipping offers. Sometimes paying slightly more at one retailer can save you money overall if they offer free shipping.

Are there any current promotions or discounts on Temporal Verification of Reactive Systems: Safety?

PriceCheck shows you real-time pricing from 1 retailers for Temporal Verification of Reactive Systems: Safety, including any active promotions or discounts. Retailers often run sales during major shopping events like Black Friday, Cyber Monday, Payday sales, and seasonal promotions. Set up a price alert to be notified when Temporal Verification of Reactive Systems: Safety goes on sale at any of the 1 stores we track.