Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II

Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CAV Online (VerfasserIn)
Weitere Verfasser: Silva, Alexandra 1984- (HerausgeberIn), Leino, K. Rustan M. (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2021]
Schriftenreihe:Lecture notes in computer science 12760 : Theoretical computer science and general issues
Schlagworte:
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Artificial Intelligence
Logics and Meanings of Programs
Simulation and Modeling
Software engineering
Mathematical logic
Artificial intelligence
Computer logic
Computer simulation
Mathematische Logik
Künstliche Intelligenz
Software Engineering
Konferenzschrift > 2021
Online-Zugang:kostenfrei
kostenfrei
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

kostenfrei
kostenfrei

Ähnliche Einträge