Tools and algorithms for the construction and analysis of systems 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, proceedings, part I

Tools and algorithms for the construction and analysis of systems 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, proceedings, part I

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Tools and Algorithms for the Construction and Analysis of Systems Luxemburg (VerfasserIn)
Weitere Verfasser: Finkbeiner, Bernd 1972- (HerausgeberIn), Kovács, Laura 1980- (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2024]
Schriftenreihe:Lecture notes in computer science 14570
Schlagworte:
Theory of Computation
Control Structures and Microprogramming
Computer Communication Networks
Computer Modelling
Software Engineering
Computer science
Microprogramming 
Computer networks 
Computer simulation
Software engineering
Programmiersprache
Hardwareverifikation
Theoretische Informatik
Programmierung
Entscheidungsverfahren
Softwareentwicklung
Systemanalyse
Model Checking
Systementwicklung
Programmverifikation
Konferenzschrift > 06.04.2024-11.04.2024 > Luxemburg (Stadt)
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