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 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
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 181 b
74.09 € VAT included
In stock Immediate digital delivery

Customers also purchased

Top
Te magad vagy a hegy Brianna Wiest / Book Hardback
common.buy 11.89 €
De brindilles et d'os Seanan McGuire / Book Paperback
common.buy 20.29 €
Corimbo Jiménez Faro / Book Paperback
common.buy 10.29 €
Neue Wege zu einem Demokratischen Öko-Sozialismus Klaus Robra / Book Paperback
common.buy 17.95 €
La Biblia para los Principiantes de Reiki: Cómo aumentar tu energía, restaurar tu salud y sentirte increíble cada día Tai Morello / Book Paperback
common.buy 13.59 €
Der Bayerische Alpenrand zwischen Füssen und Berchtesgaden Rolf K. F. Meyer / Book Paperback
common.buy 25.00 €
Thüringer Schulgesetz (ThürSchulG). 1. Auflage 2016 G Recht / Book Paperback
common.buy 6.79 €
Histoire de Louis XIII, Nouvelle Edition. Tome 2 LEVASSOR-M / Book Paperback
common.buy 41.29 €
Escuchando la voz del mercado. Decisiones de segmentación y posicionamiento Pere Angell Ferrer / Book Paperback
common.buy 30.19 €
Culpa vs perdón Purificacion Lozano Branuelas / Book Paperback
common.buy 8.89 €
Vosproizvodstvo Pochvennogo Plodorodiya Aleksandr Grebennikov / Book Paperback
common.buy 69.09 €
Messbuch - Die Feier der hl. Messe - Für die Bistümer des deutschen Sprachgebietes Bischofskonferenzen / Book Hardback
common.buy 130.00 €
Cent pages blanches Cyril Massarotto / Book Paperback
common.buy 9.19 €

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

Fullerenes: From Synthesis to Optoelectronic Properties D.M. Guldi / Book Paperback
common.buy 136.09 €
Top
The Offset Smoker Cookbook: Pitmaster Techniques and Mouthwatering Recipes for Authentic, Low-And-Slow BBQ Chris Grove / Book Paperback
common.buy 17.19 €
Doctor Who: The Companions Collection Peter Grimwade / Audiobook MP3
common.buy 11.19 €
Drones and the Future of Armed Conflict David Cortright / Book Paperback
common.buy 29.49 €
Medieval French Interlocutions – Shifting Perspectives on a Language in Contact Thomas O′donnell / Book Hardback
common.buy 148.49 €
List of the vertebrated animals living in the gardens of the Zoological Society of London Philip Lutley Sclater / Book Paperback
common.buy 13.29 €
The Practice of Autosuggestion by the Method of Emile Coue C Harry Brooks / Book Paperback
common.buy 21.09 €
Weather: An Act of Man Michael Fleming / Book Paperback
common.buy 5.99 €
HIV/AIDS Awareness: HIV/AIDS Is Not A Death Sentence Beverly Hill / Book Paperback
common.buy 7.89 €
Public Health and Toxicology Issues in Drug Research, Volume 2 Rakesh Kumar Tekade / Book Paperback
common.buy 147.59 €
University Students' Perceptions and Usage Behaviour of Mobile Media Oghogho Uyi Osazee-Odia / Book Paperback
common.buy 73.69 €
Memory and the Construction of Histories Reade Collins / Book Paperback
common.buy 8.89 €
Artificial Wisdom WEAVER THOMAS R / Book Hardback
common.buy 18.59 €
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al / Book Hardback
common.buy 97.39 €
Prison Architecture and Punishment in Colonial Senegal Konate / Book Hardback
common.buy 127.89 €
Air Crashes and Miracle Landings Part 1 Christopher Bartlett / Book Paperback
common.buy 10.89 €
Literature and Painting In Quebec William J. Berg / E-book Adobe ePub DRM
common.buy 39.89 €
Finding Flamenco Stephany Borges / Book Paperback
common.buy 13.09 €
Catalogue of the Library of the State Historical Society of Wisconsin (Volume VI) Isabel Durrie / Book Paperback
common.buy 30.39 €
Practical Instructions for Using Guano as a Manure: Illustrated by Practical Results (1845) James Clark / Book Paperback
common.buy 17.19 €
Good Soldier Svejk Jaroslav Hasek / Audiobook MP3
common.buy 3.79 €
Wild Unknown Notes Kim Krans / Printed items Cards
common.buy 15.39 €
European Economists of the Early 20th Century, Volume 1 Warren J. Samuels / Book Hardback
common.buy 267.89 €
Atom Optics Pierre Meystre / Book Hardback
common.buy 90.79 €

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