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

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II

Language EnglishEnglish
Book Paperback
Book Automated Technology for Verification and Analysis S Akshay
Libristo code: 46816329
Publishers Springer, Berlin, November 2024
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sympos... Full description
? points 333 b
136.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Diplomatie économique et diplomaties parallèles François F. BERNARD / Book Paperback
common.buy 13.69 €
Reise Durch den Stillen Ozean Max Buchner / Book Paperback
common.buy 22.69 €
Je prépare ma ménopause et je la vis bien ! Bérengère Philippon / Book Paperback
common.buy 24.49 €
Kaligrafia Zeszyt z kalką praca zbiorowa / Book Paperback
common.buy 3.09 €
Dom zbrodni Christie Agata / Book Paperback
common.buy 5.09 €
Jurnal de Bancher Pe Drumuri: - Codrut Nicolau / Book Paperback
common.buy 7.89 €
Misión Fernández Arribas / Book Paperback
common.buy 25.79 €
Marbella. Vivir apaciblemente en "el gran refugio del mundo" Ramón Aymerich / Book Paperback
common.buy 22.39 €
Décalogue 9-10 la convoitise - Communio T XXV/2 n° 148 Communio Book Paperback
common.buy 15.19 €
Victor y los terremotos MARIA JOSE MARRODAN GIRONES / Book Hardback
common.buy 7.59 €
T'jutorstvo i klassnoe rukovodstvo v nachal'noj shkole Svetlana Volkova / Book Paperback
common.buy 32.69 €
Der Herr Direktor Alice Berend / Book Hardback
common.buy 17.50 €
Heimat Der Berge Hansl Krönauer / Audio Audio CD
common.buy 9.99 €
Cambie sus pensamientos y cambie su vida/ Change Your Thoughts, Change Your Life Wayne W. Dyer / Book Paperback
common.buy 20.59 €
Shakspere-Lexikon: Ein Handbuch zum Studium der shaksperischen Schauspiele / Book Paperback
common.buy 35.59 €
Das Hara Buch sho / Book Paperback
common.buy 18.50 €
Kritische Handlungsfelder der Work-Life-Balance bei Offizieren des Deutschen Heeres Alexander Pillris / Book Paperback
common.buy 52.95 €
Top
Vorstadtkrokodile Max von der Grün / Book Paperback
common.buy 8.00 €

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.

The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:

Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.

Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. 

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 S Akshay, Aina Niemetz, Sriram Sankaranarayanan
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 500
EAN 9783031787492
Libristo code 46816329
Publishers Springer, Berlin
Weight 453
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Deutsche Kinder- und Hausmarchen Wilhelm Von Ploennies / Book Paperback
common.buy 9.49 €
Friend of the Firm: A Sheldon Bailey Mystery Frances Richter / Book Paperback
common.buy 12.49 €
Contact!: A Tactical Manual for Post Collapse Survival Max Velocity / Book Paperback
common.buy 22.19 €
Mystic Mountain: The Ascent to Love John R Sack / Book Paperback
common.buy 16.39 €
Leonardo Da Vinci And His Works Mrs Charles W Heaton / Book Paperback
common.buy 30.69 €
Primary School Teaching and Educational Psychology David M. Galloway / Book Hardback
common.buy 181.09 €
BMT Data Book Reinhold Munker / Book Paperback
common.buy 119.49 €
Cambridge Companion to the Literature of the American Renaissance EDITED BY CHRISTOPHE / Book Hardback
common.buy 65.39 €
Emily Windsnap and the Falls of Forgotten Island Liz Kessler / Book Paperback
common.buy 6.89 €
The Scipio Alliance: An Aeon 14 Novel M D Cooper / Book Paperback
common.buy 15.39 €
A Treatise on the Law of Easements. John Leybourn Goddard / Book Paperback
common.buy 33.69 €
Prostate and Key Health Issues for Older Men Shaun Dowling / Book Paperback
common.buy 13.39 €
thistle and the pen; an anthology of modern Scottish writers Eric Linklater / Book Paperback
common.buy 19.59 €
Crystal Caged Elise Kova / Book Paperback
common.buy 15.59 €
Letters Written by Eminent Persons in the Seventeenth and Eighteenth Centuries V2 (1813) John Aubrey / Book Paperback
common.buy 34.79 €
The Unfailing Light: Memoirs of an American Rabbi Bernard Drachman / Book Hardback
common.buy 46.69 €
The Philosophy of the Present in Germany Maud Lyall Patrick / Book Paperback
common.buy 19.49 €
Hope and the Sea by Magda Portal Portal Magda Portal / Book Paperback
common.buy 17.19 €
Top
House in the Cerulean Sea TJ Klune / Book Paperback
common.buy 9.19 €
Poetical Works of Beha-ed-Din Zoheir of Egypt Palmer Edward H. Palmer / Book Paperback
common.buy 21.09 €
Be An Interplanetary Spy: Skystalker LEN NEUFELD / Book Paperback
common.buy 7.89 €
MOTH PRESENTS STAFF OF THE MOTH / Book Paperback
common.buy 12.19 €
Porsche 912 Targa Hardcover Horst E. Goltz / Book Hardback
common.buy 72.59 €
Ferocious Heart Joseph Asphahani / Book Hardback
common.buy 20.29 €

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?