Computer Aided Verification : 33rd Inter
Language: English
Published by Springer, 2021
- Softcover
- New
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
AbeBooks seller since October 9, 2009
Condition: New
US$ 96.16
Quantity: 15 available
Add to basketSeller Inventory # V9783030816872
- Title
- Computer Aided Verification : 33rd Inter
- Author
- Silva, Alexandra
- Publisher
- Springer
- Publication year
- 2021
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3030816877
- ISBN 13
- 9783030816872
The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:
Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.
Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
"Synopsis" may belong to another edition of this title.
From the Back Cover
The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:
Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.
Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
"About the title" may belong to another edition of this title.
Kennys Bookstore
Olney, MD, U.S.A.
AbeBooks seller since October 9, 2009
Shipping rates within U.S.A.
| Item | 14 to 20 business days | 13 to 14 business days |
|---|---|---|
| First item | US$ 10.50 | US$ 21.00 |
Payment methods
Store description
We carry a comprehensive range of out of print and rare books.
Specialty
Revolution, War, Peace, Irish StudiesSeller's business information
Kennys Bookshop and Art Galleries (Holdings) Limited
Liosbán Retail Park, Tuam Road
Galway, Ireland H91 N5P8
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks websites.
If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.
For any queries please use the contact seller link or send an email to books@kennys.ie
Conor Kenny
Shipping terms
All books securely packaged. Some books ship from Ireland.