Items related to Computer Aided Verification: 31st International Conference,...
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues) - Softcover
Synopsis
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.
The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections:
Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;
Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
"synopsis" may belong to another edition of this title.
From the Back Cover
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2019
- ISBN 10 3030255425
- ISBN 13 9783030255428
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages572
- EditorDillig Isil, Tasiran Serdar
Search results for Computer Aided Verification: 31st International Conference,...
Stock Image
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020011346
Quantity: Over 20 available
Stock Image
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030255428
Quantity: 10 available
Seller Image
Computer Aided Verification
Published by
Springer International Publishing Jul 2019, 2019
ISBN 10: 3030255425
ISBN 13: 9783030255428
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Thepapers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency. 572 pp. Englisch. Seller Inventory # 9783030255428
Quantity: 2 available
Stock Image
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published by
Springer International Publishing, 2019
ISBN 10: 3030255425
ISBN 13: 9783030255428
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 572 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 35085214/1
Quantity: 1 available
Seller Image
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published by
Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030255425
ISBN 13: 9783030255428
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Thepapers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency. Seller Inventory # 9783030255428
Quantity: 1 available
Seller Image
Computer Aided Verification
Published by
Springer International Publishing, 2019
ISBN 10: 3030255425
ISBN 13: 9783030255428
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented &nb. Seller Inventory # 301562527
Quantity: Over 20 available
Stock Image
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, USA, July 15-18, 2019, Proceedings
Published by
Springer-Verlag New York Inc, 2019
ISBN 10: 3030255425
ISBN 13: 9783030255428
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 572 pages. 9.25x6.10x1.14 inches. In Stock. Seller Inventory # x-3030255425
Quantity: 2 available
Stock Image
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, 11562)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. New. book. Seller Inventory # ERICA77330302554256
Quantity: 1 available