Items related to Computer Aided Verification: 24th International Conference,...
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science, 7358) - Softcover
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, C.A.V. 2012, held in Berkeley, C.A., U.S.A. in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, S.A.T./S.M.T. solving and S.M.T.-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2012
- ISBN 10 3642314236
- ISBN 13 9783642314230
- BindingPaperback
- Number of pages805
- EditorParthasarathy Madhusudan, Seshia Sanjit A.
Buy New
Learn more about this copy
US$ 57.10
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science) [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783642314230
Buy New
US$ 57.10
Convert currency
Stock Image
Computer Aided Verification : 24th International Conference; CAV 2012; Berkeley; CA; USA; July 7-13; 2012 Proceedings
Published by
Springer
(2012)
ISBN 10: 3642314236
ISBN 13: 9783642314230
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642314230_lsuk
Buy New
US$ 65.16
Convert currency
Seller Image
Computer Aided Verification
Published by
Springer Berlin Heidelberg Jun 2012
(2012)
ISBN 10: 3642314236
ISBN 13: 9783642314230
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration. 808 pp. Englisch. Seller Inventory # 9783642314230
Buy New
US$ 59.10
Convert currency
Stock Image
Computer Aided Verification: 24th International Conference, Cav 2012, Berkeley, Ca, USA, July 7-13, 2012 Proceedings
Published by
Springer-Verlag New York Inc
(2012)
ISBN 10: 3642314236
ISBN 13: 9783642314230
New
Paperback
Quantity: 2
Seller:
Rating
Book Description Paperback. Condition: Brand New. 2012 edition. 805 pages. 9.10x6.00x1.80 inches. In Stock. Seller Inventory # x-3642314236
Buy New
US$ 84.96
Convert currency
Seller Image
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Published by
Springer Berlin Heidelberg
(2012)
ISBN 10: 3642314236
ISBN 13: 9783642314230
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration. Seller Inventory # 9783642314230
Buy New
US$ 65.07
Convert currency
Seller Image
Computer Aided Verification
Published by
Springer Berlin Heidelberg
(2012)
ISBN 10: 3642314236
ISBN 13: 9783642314230
New
Kartoniert / Broschiert
Quantity: > 20
Seller:
Rating
Book Description Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in Jul. Seller Inventory # 5056578
Buy New
US$ 53.44
Convert currency
Stock Image
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783642314230
Buy New
US$ 98.72
Convert currency
Stock Image
Computer Aided Verification
Seller:
Rating
Book Description Condition: New. pp. 808. Seller Inventory # 2654513348
Buy New
US$ 188.48
Convert currency
Stock Image
Computer Aided Verification
Print on Demand
Seller:
Rating
Book Description Condition: New. Print on Demand pp. 808 192 Illus. Seller Inventory # 55079195
Buy New
US$ 202.93
Convert currency