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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 52872711
Price: 48.19 EUR
Availability: PreOrder
Author: Eva Darulova
ISBN: 9783032325181

38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I

Eva Darulova

Anthony W. Lin

Philipp Rümmer

Sprache

Englisch

Buch Broschur

Libristo-Code: 52872711

Verlag Springer, Berlin, September 2026

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV... Vollständige Beschreibung

Libristo-Code: 52872711

118 b

Demnächst

Neu

48.19 € inkl. MwSt.

Erwartete Neuerscheinung

Veröffentlichung 30. 09. 2026

Bis zu 30 Tage Rückgaberecht

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.

The 54 full papers are presented, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.

These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.

This annual conference dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC).

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 Computer Aided Verification

Autor Eva Darulova, Anthony W. Lin, Philipp Rümmer

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2026

EAN 9783032325181

Libristo-Code 52872711

Verlag Springer, Berlin

Serie Lecture Notes in Computer Science

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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