This listing closed and did not sell. The item has been relisted.
- Browse for similar listings in Computing & info systems
- View the relisted item
Other listings you might like
Description
This item has FREE SHIPPING to any address in NZ
NOTE: Item will ship from our US warehouse. A handling time of 2-4 business days applies for all orders. Delivery will then take 3-10 working days.
Systems and Software Verification: Model-Checking Techniques and Tools
Condition: BRAND NEW ISBN: 9783540415237 Author(s): Beatrice Berard Format: Hardcover Year: 2001 Edition: 1st Publisher: Springer Dimensions: 162 x 240 x 16 (w x l x h) Pages: 190
BUYER OFFERS: We are a retail store with set pricing and unfortunately we can't fulfil any requests to sell items for less than the listed price.
Description: Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
About Us: The Nile New Zealand is your one-stop location for books, movies & music.
Over 7 million items to choose from; Great prices; free shipping anywhere in New Zealand; 1 working day responses to any email queries;
Details
Shipping & pick-up options
Destination & description | Price per item | |
---|---|---|
Free shipping within New Zealand | Free |
Seller does not allow pick-ups
Payment Options
Pay Now, NZ Bank Deposit