Foundations of software science and computation structures 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings

Foundations of software science and computation structures 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaften: FOSSACS Online (VerfasserIn), ETAPS (VerfasserIn)
Weitere Verfasser: Goubault-Larrecq, Jean (HerausgeberIn), König, Barbara (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer Open [2020]
Schriftenreihe:Lecture notes in computer science 12077
Schlagworte:
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
Programming Languages, Compilers, Interpreters
Programming Techniques
Logic in AI.
Computer Systems Organization and Communication Networks
Mathematical logic
Computer science—Mathematics
Programming languages (Electronic computers)
Computer programming
Artificial intelligence
Computer logic
Computer organization
Programmierlogik
Formale Methode
Theoretische Informatik
Software Engineering
Programmiersprache
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