Programming languages and systems 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings

Programming languages and systems 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ESOP Online (VerfasserIn)
Weitere Verfasser: Yoshida, Nobuko (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2021]
Schriftenreihe:Lecture notes in computer science 12648 : Theoretical computer science and general issues
Schlagworte:
Programming Languages, Compilers, Interpreters
Natural Language Processing (NLP)
Software Engineering
Logics and Meanings of Programs
Computer Systems Organization and Communication Networks
Programming languages (Electronic computers)
Natural language processing (Computer science)
Software engineering
Computer logic
Computer organization
Formale Methode
Programmanalyse
Softwaresystem
Programmverifikation
Model Checking
Nebenläufigkeit
Programmiersprache
Typsystem
Konferenzschrift > 2020 > Online
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