Description: Automated Technology for Verification and Analysis : 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017 - Proceedings, Paperback by D'souza, Deepak (EDT); Kumar, K. Narayan (EDT), ISBN 3319681664, ISBN-13 9783319681665, Like New Used, Free shipping in the US 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. Th 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.
Price: 76.76 USD
Location: Jessup, Maryland
End Time: 2025-01-21T17:02:21.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Automated Technology for Verification and Analysis : 15th Interna
Number of Pages: Xix, 482 Pages
Publication Name: Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2017
Subject: Software Development & Engineering / General, Hardware / General, Intelligence (Ai) & Semantics, Compilers
Type: Textbook
Item Weight: 266.2 Oz
Author: K. Narayan Kumar
Subject Area: Computers
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
