Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Technology for Verification and Analysis

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis S Akshay
Libristo kod: 46816329
Nakladnici Springer, Berlin, studeni 2024
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sympos... Cijeli opis
? points 373 b
154.13 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Diplomatie économique et diplomaties parallèles François F. BERNARD / Knjiga Meki uvez
common.buy 16.35 €
Reise Durch den Stillen Ozean Max Buchner / Knjiga Meki uvez
common.buy 26.86 €
Je prépare ma ménopause et je la vis bien ! Bérengère Philippon / Knjiga Meki uvez
common.buy 28.78 €
Kaligrafia Zeszyt z kalką praca zbiorowa / Knjiga Meki uvez
common.buy 2.92 €
Dom zbrodni Christie Agata / Knjiga Meki uvez
common.buy 6.25 €
Jurnal de Bancher Pe Drumuri: - Codrut Nicolau / Knjiga Meki uvez
common.buy 9.38 €
Misión Fernández Arribas / Knjiga Meki uvez
common.buy 29.99 €
Marbella. Vivir apaciblemente en "el gran refugio del mundo" Ramón Aymerich / Knjiga Meki uvez
common.buy 25.75 €
Décalogue 9-10 la convoitise - Communio T XXV/2 n° 148 Communio Knjiga Meki uvez
common.buy 17.97 €
Victor y los terremotos MARIA JOSE MARRODAN GIRONES / Knjiga Tvrdi uvez
common.buy 8.98 €
T'jutorstvo i klassnoe rukovodstvo v nachal'noj shkole Svetlana Volkova / Knjiga Meki uvez
common.buy 37.36 €
Der Herr Direktor Alice Berend / Knjiga Tvrdi uvez
common.buy 16.66 €
Heimat Der Berge Hansl Krönauer / Audio Audio CD
common.buy 10.90 €
Cambie sus pensamientos y cambie su vida/ Change Your Thoughts, Change Your Life Wayne W. Dyer / Knjiga Meki uvez
common.buy 25.14 €
Shakspere-Lexikon: Ein Handbuch zum Studium der shaksperischen Schauspiele / Knjiga Meki uvez
common.buy 35.95 €
Das Hara Buch sho / Knjiga Meki uvez
common.buy 11.91 €
Kritische Handlungsfelder der Work-Life-Balance bei Offizieren des Deutschen Heeres Alexander Pillris / Knjiga Meki uvez
common.buy 47.16 €
Top
Vorstadtkrokodile Max von der Grün / Knjiga Meki uvez
common.buy 7.36 €

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. 

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Technology for Verification and Analysis
Autor S Akshay, Aina Niemetz, Sriram Sankaranarayanan
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2025
Broj stranica 500
EAN 9783031787492
Libristo kod 46816329
Nakladnici Springer, Berlin
Težina 453
Dimenzije 155 x 235

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Deutsche Kinder- und Hausmarchen Wilhelm Von Ploennies / Knjiga Meki uvez
common.buy 11.51 €
Friend of the Firm: A Sheldon Bailey Mystery Frances Richter / Knjiga Meki uvez
common.buy 14.84 €
Contact!: A Tactical Manual for Post Collapse Survival Max Velocity / Knjiga Meki uvez
common.buy 26.45 €
Mystic Mountain: The Ascent to Love John R Sack / Knjiga Meki uvez
common.buy 19.48 €
Leonardo Da Vinci And His Works Mrs Charles W Heaton / Knjiga Meki uvez
common.buy 36.35 €
Primary School Teaching and Educational Psychology David M. Galloway / Knjiga Tvrdi uvez
common.buy 194.94 €
BMT Data Book Reinhold Munker / Knjiga Meki uvez
common.buy 140.19 €
Cambridge Companion to the Literature of the American Renaissance EDITED BY CHRISTOPHE / Knjiga Tvrdi uvez
common.buy 76.76 €
Emily Windsnap and the Falls of Forgotten Island Liz Kessler / Knjiga Meki uvez
common.buy 9.59 €
The Scipio Alliance: An Aeon 14 Novel M D Cooper / Knjiga Meki uvez
common.buy 14.84 €
A Treatise on the Law of Easements. John Leybourn Goddard / Knjiga Meki uvez
common.buy 32.52 €
Prostate and Key Health Issues for Older Men Shaun Dowling / Knjiga Meki uvez
common.buy 15.65 €
thistle and the pen; an anthology of modern Scottish writers Eric Linklater / Knjiga Meki uvez
common.buy 23.93 €
Crystal Caged Elise Kova / Knjiga Meki uvez
common.buy 18.37 €
Letters Written by Eminent Persons in the Seventeenth and Eighteenth Centuries V2 (1813) John Aubrey / Knjiga Meki uvez
common.buy 33.53 €
The Unfailing Light: Memoirs of an American Rabbi Bernard Drachman / Knjiga Tvrdi uvez
common.buy 55.24 €
The Philosophy of the Present in Germany Maud Lyall Patrick / Knjiga Meki uvez
common.buy 23.02 €
Hope and the Sea by Magda Portal Portal Magda Portal / Knjiga Meki uvez
common.buy 20.29 €
Top
House in the Cerulean Sea TJ Klune / Knjiga Meki uvez
common.buy 9.99 €
Poetical Works of Beha-ed-Din Zoheir of Egypt Palmer Edward H. Palmer / Knjiga Meki uvez
common.buy 24.13 €
Be An Interplanetary Spy: Skystalker LEN NEUFELD / Knjiga Meki uvez
common.buy 9.89 €
MOTH PRESENTS STAFF OF THE MOTH / Knjiga Meki uvez
common.buy 14.33 €
Porsche 912 Targa Hardcover Horst E. Goltz / Knjiga Tvrdi uvez
common.buy 82.62 €
Ferocious Heart Joseph Asphahani / Knjiga Tvrdi uvez
common.buy 25.24 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?