Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3?6, 2017, Proceedings (Programming and Software Engineering)
ISBN 10: 3319681664 ISBN 13: 9783319681665
Published by Springer, 2017
New
Soft cover
From
Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since August 30, 2024
This specific item is no longer available.
About this Item
Description:
SUPER FAST SHIPPING. Seller Inventory # 9783319681665
Synopsis:
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.
The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.
The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Automated Technology for Verification and ...
Publisher: Springer
Publication Date: 2017
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer International Publishing, 2017
ISBN 10: 3319681664
ISBN 13: 9783319681665
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this v. Seller Inventory # 160354367
Buy New
US$ 57.90
Shipping:
US$ 56.94
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020103135
Automated Technology for Verification and Analysis | 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Published by
Springer Nature Switzerland, 2017
ISBN 10: 3319681664
ISBN 13: 9783319681665
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Automated Technology for Verification and Analysis | 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings | K. Narayan Kumar (u. a.) | Taschenbuch | xix | Englisch | 2017 | Springer Nature Switzerland | EAN 9783319681665 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 110249475
Seller Image
Automated Technology for Verification and Analysis : 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017 - Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 30001659-n
Seller Image
Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3¿6, 2017, Proceedings
Published by
Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319681664
ISBN 13: 9783319681665
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 - This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control. Seller Inventory # 9783319681665
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer International Publishing, Springer Nature Switzerland Okt 2017, 2017
ISBN 10: 3319681664
ISBN 13: 9783319681665
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch. Seller Inventory # 9783319681665
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer International Publishing Okt 2017, 2017
ISBN 10: 3319681664
ISBN 13: 9783319681665
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 -This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control. 504 pp. Englisch. Seller Inventory # 9783319681665
Stock Image
Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319681665
Buy New
US$ 64.97
Shipping:
US$ 20.39
From United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Automated Technology for Verification and Analysis : 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017 - Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 30001659-n
Buy New
US$ 68.32
Shipping:
US$ 19.74
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319681665_new
Buy New
US$ 68.89
Shipping:
US$ 15.77
From United Kingdom to U.S.A.
Quantity: Over 20 available