Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Language EnglishEnglish
E-book Adobe ePub DRM
Publishers Springer, October 2023
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Tech... Full description
? points 224 b
91.49 € VAT included
In stock Immediate digital delivery

Customers also purchased

Top
Te magad vagy a hegy Brianna Wiest / Book Hardback
common.buy 15.29 €
Der Bayerische Alpenrand zwischen Füssen und Berchtesgaden Rolf K. F. Meyer / Book Paperback
common.buy 25.00 €
Culpa vs perdón Purificacion Lozano Branuelas / Book Paperback
common.buy 10.99 €
Vosproizvodstvo Pochvennogo Plodorodiya Aleksandr Grebennikov / Book Paperback
common.buy 82.89 €
Messbuch - Die Feier der hl. Messe - Für die Bistümer des deutschen Sprachgebietes Bischofskonferenzen / Book Hardback
common.buy 161.59 €
Cent pages blanches Cyril Massarotto / Book Paperback
common.buy 11.79 €

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in  October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Automated Technology for Verification and Analysis
Author Etienne Andre, Jun Sun
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2023
EAN 9783031453328
Libristo code 44992045
Publishers Springer

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
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

You might also be interested in

Korea George Brennan / Book Paperback
common.buy 13.29 €
The Offset Smoker Cookbook: Pitmaster Techniques and Mouthwatering Recipes for Authentic, Low-And-Slow BBQ Chris Grove / Book Paperback
common.buy 20.99 €
Literature and Painting In Quebec William J. Berg / E-book Adobe ePub DRM
common.buy 49.29 €
Wild Unknown Notes Kim Krans / Printed items Cards
common.buy 19.19 €
Practical Instructions for Using Guano as a Manure: Illustrated by Practical Results (1845) James Clark / Book Paperback
common.buy 20.99 €
Catalogue of the Library of the State Historical Society of Wisconsin (Volume VI) Isabel Durrie / Book Paperback
common.buy 38.89 €
Finding Flamenco Stephany Borges / Book Paperback
common.buy 15.89 €
Air Crashes and Miracle Landings Part 1 Christopher Bartlett / Book Paperback
common.buy 14.29 €
Memory and the Construction of Histories Reade Collins / Book Paperback
common.buy 10.99 €
HIV/AIDS Awareness: HIV/AIDS Is Not A Death Sentence Beverly Hill / Book Paperback
common.buy 9.79 €
The Practice of Autosuggestion by the Method of Emile Coue C Harry Brooks / Book Paperback
common.buy 25.89 €
List of the vertebrated animals living in the gardens of the Zoological Society of London Philip Lutley Sclater / Book Paperback
common.buy 15.99 €
Public Health and Toxicology Issues in Drug Research, Volume 2 Rakesh Kumar Tekade / Book Paperback
common.buy 189.79 €
As the Bamboo Shoots CELIN TAN ROBERTSON / Book Paperback
common.buy 23.99 €
Medieval French Interlocutions – Shifting Perspectives on a Language in Contact Thomas O′donnell / Book Hardback
common.buy 182.09 €
Nonlinear Adaptive Robust Control of Electro-hydraulic Systems Fanping Bu / Book Paperback
common.buy 83.09 €
Fundamentals of Municipal Bonds The Bond Market Association / Book Hardback
common.buy 58.99 €
European Economists of the Early 20th Century, Volume 1 Warren J. Samuels / Book Hardback
common.buy 267.89 €
Hatred in Print Luc Racaut / Book Hardback
common.buy 224.29 €
Geometric Abstraction Yve-Alain Bois / Book Hardback
common.buy 42.69 €
Legal Issues in Pediatrics and Adolescent Medicine, Second Edition, Revised and Angela Roddey Holder / Book Hardback
common.buy 95.99 €
How Power Corrupts Ricardo Blaug / Book Hardback
common.buy 60.39 €
Dragons, Serpents, and Slayers in the Classical and Early Christian Worlds Daniel Ogden / Book Hardback
common.buy 174.39 €
KJV Pocket Reference Bible, Purple Imitation Leather, Red-letter Text, KJ242:XR Purple Imitation Leather Baker Publishing Group / Book Hardback
common.buy 28.19 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?