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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.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: 44485003
Price: 82.55 EUR
Availability: InStock
Author: Rayna Dimitrova
ISBN: 9783031505201

25th International Conference, VMCAI 2024, London, ON, Canada, January 15-16, 2024, Proceedings, Part II

Rayna Dimitrova

Ori Lahav

Sebastian Wolff

Sprache

Englisch

Buch Broschur

Libristo-Code: 44485003

Verlag Springer, Berlin, Januar 2024

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Confer... Vollständige Beschreibung

Libristo-Code: 44485003

200 b

82.55 €

Externes Lager Wir versenden in 10-18 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ausgewählte Gestaltungsmöglichkeiten für Non-Profit-Organisationen, die Spendeneinnahmen beim Mailing positiv zu beeinflussen Erkan Cokicli

Broschur

16.14 €

Durchblick Geschichte und Politik - Ausgabe 2015 für Realschulen in Niedersachsen Matthias Bahr

Blatt

10.49 €

La rubia de ojos negros. Die Blonde mit den schwarzen Augen, spanische Ausgabe BENJAMIN BLACK

Broschur

11.90 €

Les ulleres de Bartleby Ballester

Broschur

22.50 €

Proszę państwa do gazu i inne opowiadania Tadeusz Borowski

Hardcover

12.51 €

Angestellte Revisited Thomas Haipeter

Broschur

52.98 €

Disney WTP Twinkle Eye Ferkel, 25cm

binding.

13.92 €

Al-Dschasira und der Westen Onur Yamac

Broschur

16.14 €

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;

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 Rayna Dimitrova, Ori Lahav, Sebastian Wolff

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2024

Anzahl der Seiten 360

EAN 9783031505201

Libristo-Code 44485003

Verlag Springer, Berlin

Gewicht 503

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