Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer, Berlin
SKU: 46816329
Price: 152.59 EUR
Availability: InStock
Author: S Akshay
ISBN: 9783031787492

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

S Akshay

Aina Niemetz

Sriram Sankaranarayanan

Sprache

Englisch

Buch Broschur

Libristo-Code: 46816329

Verlag Springer, Berlin, November 2024

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sympos... Vollständige Beschreibung

Libristo-Code: 46816329

373 b

152.59 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Diplomatie économique et diplomaties parallèles François F. BERNARD

Broschur

13.69 €

Reise Durch den Stillen Ozean Max Buchner

Broschur

22.69 €

Je prépare ma ménopause et je la vis bien ! Bérengère Philippon

Broschur

24.49 €

Kaligrafia Zeszyt z kalką praca zbiorowa

Broschur

2.29 €

Dom zbrodni Christie Agata

Broschur

5.79 €

Jurnal de Bancher Pe Drumuri: - Codrut Nicolau

Broschur

9.79 €

Misión Fernández Arribas

Broschur

28.29 €

Marbella. Vivir apaciblemente en "el gran refugio del mundo" Ramón Aymerich

Broschur

24.39 €

Décalogue 9-10 la convoitise - Communio T XXV/2 n° 148 Communio Buch

Broschur

15.19 €

Victor y los terremotos MARIA JOSE MARRODAN GIRONES

Hardcover

8.39 €

T'jutorstvo i klassnoe rukovodstvo v nachal'noj shkole Svetlana Volkova

Broschur

36.99 €

Der Herr Direktor Alice Berend

Hardcover

17.50 €

Heimat Der Berge Hansl Krönauer

Audio CD

11.39 €

Cambie sus pensamientos y cambie su vida/ Change Your Thoughts, Change Your Life Wayne W. Dyer

Broschur

20.59 €

Shakspere-Lexikon: Ein Handbuch zum Studium der shaksperischen Schauspiele

Broschur

35.59 €

Das Hara Buch sho

Broschur

14.00 €

Kritische Handlungsfelder der Work-Life-Balance bei Offizieren des Deutschen Heeres Alexander Pillris

Broschur

52.95 €

Vorstadtkrokodile Max von der Grün

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Technology for Verification and Analysis

Autor S Akshay, Aina Niemetz, Sriram Sankaranarayanan

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2025

Anzahl der Seiten 500

EAN 9783031787492

Libristo-Code 46816329

Verlag Springer, Berlin

Gewicht 453

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert