phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Automated Technology for Verification and Analysis

Language EnglishEnglish
Book Paperback
Book Automated Technology for Verification and Analysis Deepak D'Souza
Libristo code: 18124989
Publishers Springer International Publishing AG, October 2017
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec... Full description
? points 154 b
61.56 €
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Smart Face Thomas Goodman / Paperback
common.buy 15.76 €

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.

About the book

Full name Automated Technology for Verification and Analysis
Author Deepak D'Souza, K. Narayan Kumar
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 482
EAN 9783319681665
ISBN 3319681664
Libristo code 18124989
Publishers Springer International Publishing AG
Weight 7548
Dimensions 155 x 235 x 30

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account