Merkzetterl
Das Merkzetterl ist leer.
Das Einkaufssackerl ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part II
BuchKartoniert, Paperback
Verkaufsrang53423inInformatik - EDV
EUR44,95

Beschreibung

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.
The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:

Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.

Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Weitere Beschreibungen

Details

ISBN/EAN978-3-030-81687-2
ProduktartBuch
EinbandKartoniert, Paperback
Erscheinungsdatum17.07.2021
Auflage1st ed. 2021
ReiheTheoretical Computer Science and General Issues
Reihen-Nr.12760
Seiten940 Seiten
SpracheEnglisch
Artikel-Nr.17181601
WarengruppeInformatik - EDV
Weitere Details

Reihe

Unser Service

  • ÖSTERREICHWEIT VERSANDKOSTENFREI FÜR BESTELLUNG AB 20 EUR!
  • Filialverfügbarkeit ist bei lagernden Titeln ersichtlich
  • Abholung in einer unserer Buchhandlungen
  • 30 Tage Rücktrittsrecht

Lieferbarkeit

Der angebotene Artikel ist in der Regel innerhalb 48 Stunden versandfertig. Sollte es wider Erwarten nicht so sein, erhalten Sie eine Benachrichtigung.
Achtung Schulartikel (Lehrbücher/Lösungshefte) können eine längere Lieferzeit haben.

Bewertungen

Autor