Computer aided verification 31st international conference, CAV 2019 : New York City, NY, USA, July 15-18, 2019 : proceedings, part I

Computer aided verification 31st international conference, CAV 2019 : New York City, NY, USA, July 15-18, 2019 : proceedings, part I

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CAV New York, NY (VerfasserIn)
Weitere Verfasser: Dillig, Isil (HerausgeberIn), Tasiran, Serdar (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer Open [2019]
Schriftenreihe:Lecture notes in computer science 11561
Schlagworte:
Software Engineering
Programming Languages, Compilers, Interpreters
Theory of Computation
Artificial Intelligence
Simulation and Modeling
Computer Systems Organization and Communication Networks
Software engineering
Computer science
Information theory
Artificial intelligence
Computer simulation
Computer network architectures
Softwareentwicklung
Verifikation
Konferenzschrift > 2019 > New York
Aufsatzsammlung
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