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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 47021693
Price: 69.89 EUR
Availability: InStock
Author: Krishna S.
ISBN: 9783031827020

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Krishna S.

Sriram Sankaranarayanan

Ashutosh Trivedi

Sprache

Englisch

Buch Broschur

Libristo-Code: 47021693

Verlag Springer, Berlin, März 2025

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Vollständige Beschreibung

Libristo-Code: 47021693

171 b

69.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

My Hero Academia: Complete Season 3

Blu-ray

26.69 €

Loki : Agent d'Asgard T01 Lee Garbett

Broschur

39.99 €

Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil

Broschur

37.69 €

LETTRINES GRACQ JULIEN

Broschur

24.79 €

Arthur Honegger Harry Halbreich

Buch

50.89 €

Křesťanství v tóze Ondřej Doskočil

Broschur

5.79 €

Physique Chimie 2de Manuel 2019 Nicolas Coppens

Broschur

45.09 €

Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith

Broschur

9.79 €

Ultimate...70s Various

Audio CD

19.29 €

Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer

Broschur

41.71 €

Caminando 3 Rosaura Sanchez

Broschur

38.89 €

O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS

Broschur

57.69 €

Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe

Hardcover

21.49 €

Bauernhof Sigrid Tinz

Broschur

9.19 €

Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz

Broschur

9.99 €

Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico

Broschur

17.19 €

The Sound of Disney Franziska Brocksch

Broschur

23.19 €

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.
The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.

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 Verification, Model Checking, and Abstract Interpretation

Autor Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2025

Anzahl der Seiten 350

EAN 9783031827020

Libristo-Code 47021693

Verlag Springer, Berlin

Gewicht 412

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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