Titel: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3?6, 2017, Proceedings (Programming and Software Engineering)
Verlag: Springer
Erscheinungsjahr: 2017
Sprache: Englisch
ISBN-10: 3319681664
ISBN-13: 9783319681665
Einband: Softcover
Zustand: New

�ber diesen Titel

Inhaltsangabe

This book constitutes the refereed proceedings of the 15^th 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.

Rese�a del editor

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Miramar International Services LLC

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

www.californiabooks.com

Widerrufsbelehrung

Versandbedingungen

www.californiabooks.com

Versandkosten von USA nach Deutschland

Versandkosten von USA nach Deutschland
Bestellmenge	12 bis 22�Werktage	5 bis 8�Werktage
Erster Artikel	EUR 8.52	EUR 42.60

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.