Picture 1 of 4
Gallery
Picture 1 of 4
Have one to sell?
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Pete
US $29.99
Approximately£22.20
Condition:
New
A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller's listing for full details.
- Buy it nowComputer Aided Verification: 25th International Conference, CAV 2013, Saint Pete
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Collection:
Free collection in person from Chandler, Arizona, United States
Postage:
US $6.72 (approx £4.97) USPS Media MailTM.
Located in: Chandler, Arizona, United States
Delivery:
Estimated between Tue, 29 Jul and Fri, 1 Aug to 94104
Returns:
No returns accepted.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:126353335053
Item specifics
- Condition
- Book Title
- Computer Aided Verification
- ISBN-13
- 9783642397981
- ISBN
- 9783642397981
About this product
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3642397980
ISBN-13
9783642397981
eBay Product ID (ePID)
169563823
Product Key Features
Number of Pages
Xxii, 1015 Pages
Language
English
Publication Name
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013, Proceedings
Subject
Software Development & Engineering / Quality Assurance & Testing, Systems Architecture / General, Software Development & Engineering / General, Computer Science
Publication Year
2013
Type
Textbook
Subject Area
Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Height
0.8 in
Item Weight
55.1 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2013-943285
Dewey Edition
23
Series Volume Number
8044
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
004.24
Table Of Content
Automata Networks.- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.- TTP: Tool for Tumor Progression.- Exploring Parameter Space of Stochastic Biochemical Systems using Quantitative Model Checking.- Parameterized Verification of Asynchronous Shared-Memory Systems.- Partial Orders for Efficient BMC of Concurrent Software.- Incremental, Inductive Coverability.- Automatic linearizability proofs of concurrent objects with cooperating.- Updates.- Duet: Static Analysis for Unbounded Parallelism.- SVA and PSL Local Variables.- A Practical Approach.- Formal Verification of Hardware Synthesis.- CacBDD: A BDD Package with Dynamic Cache Management.- Distributed Explicit State Model Checking of Deadlock Freedom.- Exponential-Condition-Based Barrier Certificate Generation for Safety.- Verification of Hybrid Systems .- Efficient Robust Monitoring for STL.- Abstraction based Model-Checking of Stability of Hybrid Systems.- Faster Algorithms for Markov Decision Processes with Low Tree width.- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.- Importance Splitting for Statistical Model Checking Rare Properties.- Minimal Sets over Monotone Predicates in Boolean Formulae.- Smten: Automatic Translation of High-level Symbolic Computations into SMT Queries.- QUAIL: a quantitative security analyzer for imperative code.- Effectively Propositional Reasoning about Reachability in Linked Data Structures.- Learning Universally Quantified Invariants of Linear Data Structures.- GOAL for Games, Omega-Automata, and Logics.- Efficient synthesis for concurrency using semantics-preserving Transformations.
Synopsis
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time., Automata Networks.- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.- TTP: Tool for Tumor Progression.- Exploring Parameter Space of Stochastic Biochemical Systems using Quantitative Model Checking.- Parameterized Verification of Asynchronous Shared-Memory Systems.- Partial Orders for Efficient BMC of Concurrent Software.- Incremental, Inductive Coverability.- Automatic linearizability proofs of concurrent objects with cooperating.- Updates.- Duet: Static Analysis for Unbounded Parallelism.- SVA and PSL Local Variables.- A Practical Approach.- Formal Verification of Hardware Synthesis.- CacBDD: A BDD Package with Dynamic Cache Management.- Distributed Explicit State Model Checking of Deadlock Freedom.- Exponential-Condition-Based Barrier Certificate Generation for Safety.- Verification of Hybrid Systems .- Efficient Robust Monitoring for STL.- Abstraction based Model-Checking of Stability of Hybrid Systems.- Faster Algorithms for Markov Decision Processes with Low Tree width.- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.- Importance Splitting for Statistical Model Checking Rare Properties.- Minimal Sets over Monotone Predicates in Boolean Formulae.- Smten: Automatic Translation of High-level Symbolic Computations into SMT Queries.- QUAIL: a quantitative security analyzer for imperative code.- Effectively Propositional Reasoning about Reachability in Linked Data Structures.- Learning Universally Quantified Invariants of Linear Data Structures.- GOAL for Games, Omega-Automata, and Logics.- Efficient synthesis for concurrency using semantics-preserving Transformations.
LC Classification Number
QA75.5-76.95
Item description from the seller
About this seller
NY2AZ
99.4% positive Feedback•23K items sold
Registered as a private sellerThereby, consumer rights stemming from EU consumer protection law do not apply. eBay buyer protection still applies to most purchases.
Popular categories from this shop
Seller Feedback (8,913)
- 8***c (887)- Feedback left by buyer.Past 6 monthsVerified purchaseI had to contact the seller when tracking showed that the post office couldn’t deliver these to my house. Seller was SUPER communicative and helpful, and they were delivered two days later. They arrived in perfect condition, just as described. My son is going to love using these in band! Packaging was great for shipping, these were a great value for the price. I’d highly recommend this amazing seller and I’d gladly do business with them again. Thank you for being one of the reasons I <3 ebay!Meinl Cymbals - 16" Crash Cymbals - Marching Brass MA-BR-16M (#276829326582)
- d***- (86)- Feedback left by buyer.Past monthVerified purchaseFast shipment, well packed, good item description, great price, and good communication. I highly recommend this eBay seller!
- i***_ (149)- Feedback left by buyer.Past 6 monthsVerified purchaseItem as described. Installed board and seems to work properly. Packaging and box appeared original. Shipped fast - next day after order placed. Great price to boot. Would buy again.EBR74164805 Relay Control Board for LG Range/Stove/Ovens (#276857124584)
More to explore:
- Saints Non-Fiction Hardcover Books,
- First Aid Non-Fiction Hardcover Books,
- Non-Fiction First Aid Fiction & Books,
- Saints Non-Fiction Paperback Fiction & Books,
- International Times Magazines,
- Life International Magazines,
- Motorcycle International Magazines,
- Flight International Magazines,
- Air International Magazines,
- January Air International Magazines
NY2AZ
99.4% positive Feedback•23K items sold
Registered as a private sellerThereby, consumer rights stemming from EU consumer protection law do not apply. eBay buyer protection still applies to most purchases.
Popular categories from this shop
Seller Feedback (8,913)
- 8***c (887)- Feedback left by buyer.Past 6 monthsVerified purchaseI had to contact the seller when tracking showed that the post office couldn’t deliver these to my house. Seller was SUPER communicative and helpful, and they were delivered two days later. They arrived in perfect condition, just as described. My son is going to love using these in band! Packaging was great for shipping, these were a great value for the price. I’d highly recommend this amazing seller and I’d gladly do business with them again. Thank you for being one of the reasons I <3 ebay!Meinl Cymbals - 16" Crash Cymbals - Marching Brass MA-BR-16M (#276829326582)
- d***- (86)- Feedback left by buyer.Past monthVerified purchaseFast shipment, well packed, good item description, great price, and good communication. I highly recommend this eBay seller!
- i***_ (149)- Feedback left by buyer.Past 6 monthsVerified purchaseItem as described. Installed board and seems to work properly. Packaging and box appeared original. Shipped fast - next day after order placed. Great price to boot. Would buy again.EBR74164805 Relay Control Board for LG Range/Stove/Ovens (#276857124584)