Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Automated Technology for Verification and Analysis

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Technology for Verification and Analysis S Akshay
Libristo-code: 46816329
Uitgeverij Springer, Berlin, november 2024
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sympos... Volledige beschrijving
? points 373 b
154.58 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Diplomatie économique et diplomaties parallèles François F. BERNARD / Boek Gebonden (paperback)
common.buy 16.40 €
Reise Durch den Stillen Ozean Max Buchner / Boek Gebonden (paperback)
common.buy 26.94 €
Dom zbrodni Christie Agata / Boek Gebonden (paperback)
common.buy 6.68 €
Catalog der Sammlung von Handzeichnungen William Mitchell / Boek Gebonden (paperback)
common.buy 16.70 €
Avaliacao de Impacto na Pratica Paul J. Gertler / E-book Adobe ePub DRM
common.buy 28.76 €
Je prépare ma ménopause et je la vis bien ! Bérengère Philippon / Boek Gebonden (paperback)
common.buy 29.87 €
Kaligrafia Zeszyt z kalką praca zbiorowa / Boek Gebonden (paperback)
common.buy 4.04 €
Der Siegeszug der Populisten Ralf Schuler / Boek Gebonden (harde band)
common.buy 22.38 €
Jurnal de Bancher Pe Drumuri: - Codrut Nicolau / Boek Gebonden (paperback)
common.buy 9.41 €
Misión Fernández Arribas / Boek Gebonden (paperback)
common.buy 31.50 €
Marbella. Vivir apaciblemente en "el gran refugio del mundo" Ramón Aymerich / Boek Gebonden (paperback)
common.buy 26.94 €
Décalogue 9-10 la convoitise - Communio T XXV/2 n° 148 Communio Boek Gebonden (paperback)
common.buy 18.53 €
Let's play, Mom! (Malay Book for Kids) Kidkiddos Books / Boek Gebonden (harde band)
common.buy 26.02 €
Victor y los terremotos MARIA JOSE MARRODAN GIRONES / Boek Gebonden (harde band)
common.buy 9.41 €
T'jutorstvo i klassnoe rukovodstvo v nachal'noj shkole Svetlana Volkova / Boek Gebonden (paperback)
common.buy 37.47 €
Der Herr Direktor Alice Berend / Boek Gebonden (harde band)
common.buy 17.52 €
Heimat Der Berge Hansl Krönauer / Audio Audio cd
common.buy 10.93 €
Cambie sus pensamientos y cambie su vida/ Change Your Thoughts, Change Your Life Wayne W. Dyer / Boek Gebonden (paperback)
common.buy 25.21 €
Shakspere-Lexikon: Ein Handbuch zum Studium der shaksperischen Schauspiele / Boek Gebonden (paperback)
common.buy 38.28 €
Das Hara Buch sho / Boek Gebonden (paperback)
common.buy 15.69 €
Kritische Handlungsfelder der Work-Life-Balance bei Offizieren des Deutschen Heeres Alexander Pillris / Boek Gebonden (paperback)
common.buy 47.30 €
TOP
Vorstadtkrokodile Max von der Grün / Boek Gebonden (paperback)
common.buy 7.38 €

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. 

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automated Technology for Verification and Analysis
Auteur S Akshay, Aina Niemetz, Sriram Sankaranarayanan
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2025
Aantal pagina's 500
EAN 9783031787492
Libristo-code 46816329
Uitgeverij Springer, Berlin
Gewicht 453
Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

The Scipio Alliance: An Aeon 14 Novel M D Cooper / Boek Gebonden (paperback)
common.buy 14.88 €
Be An Interplanetary Spy: Skystalker LEN NEUFELD / Boek Gebonden (paperback)
common.buy 9.92 €
A Treatise on the Law of Easements. John Leybourn Goddard / Boek Gebonden (paperback)
common.buy 32.61 €
Friend of the Firm: A Sheldon Bailey Mystery Frances Richter / Boek Gebonden (paperback)
common.buy 14.88 €
Contact!: A Tactical Manual for Post Collapse Survival Max Velocity / Boek Gebonden (paperback)
common.buy 26.53 €
Mystic Mountain: The Ascent to Love John R Sack / Boek Gebonden (paperback)
common.buy 19.54 €
Leonardo Da Vinci And His Works Mrs Charles W Heaton / Boek Gebonden (paperback)
common.buy 36.46 €
Primary School Teaching and Educational Psychology David M. Galloway / Boek Gebonden (harde band)
common.buy 203.81 €
BMT Data Book Reinhold Munker / Boek Gebonden (paperback)
common.buy 140.60 €
Cambridge Companion to the Literature of the American Renaissance EDITED BY CHRISTOPHE / Boek Gebonden (harde band)
common.buy 76.98 €
Emily Windsnap and the Falls of Forgotten Island Liz Kessler / Boek Gebonden (paperback)
common.buy 9.11 €
God's Keys to Your Healing: Dealing with Anxiety Michael Kleu / Boek Gebonden (paperback)
common.buy 7.69 €
History of Ufton Court Sharp A. Mary Sharp / Boek Gebonden (paperback)
common.buy 23.29 €
Poetical Works of Beha-ed-Din Zoheir of Egypt Palmer Edward H. Palmer / Boek Gebonden (paperback)
common.buy 24.20 €
Deutsche Kinder- und Hausmarchen Wilhelm Von Ploennies / Boek Gebonden (paperback)
common.buy 11.54 €
Prostate and Key Health Issues for Older Men Shaun Dowling / Boek Gebonden (paperback)
common.buy 15.69 €
thistle and the pen; an anthology of modern Scottish writers Eric Linklater / Boek Gebonden (paperback)
common.buy 24.00 €
Crystal Caged Elise Kova / Boek Gebonden (paperback)
common.buy 18.43 €
Letters Written by Eminent Persons in the Seventeenth and Eighteenth Centuries V2 (1813) John Aubrey / Boek Gebonden (paperback)
common.buy 33.62 €
The Unfailing Light: Memoirs of an American Rabbi Bernard Drachman / Boek Gebonden (harde band)
common.buy 55.40 €
MOTH PRESENTS STAFF OF THE MOTH / Boek Gebonden (paperback)
common.buy 14.38 €
Hope and the Sea by Magda Portal Portal Magda Portal / Boek Gebonden (paperback)
common.buy 20.35 €
The Philosophy of the Present in Germany Maud Lyall Patrick / Boek Gebonden (paperback)
common.buy 23.09 €
TOP
House in the Cerulean Sea TJ Klune / Boek Gebonden (paperback)
common.buy 10.02 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken