Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ESOP Eindhoven (VerfasserIn)
Weitere Verfasser: Thiemann, Peter 1964- (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin Springer [2016]
Schriftenreihe:Lecture Notes in Computer Science 9632
Schlagworte:
Computer science
Computer programming
Software engineering
Programming languages (Electronic computers)
Computers
Computer logic
Computer Science
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Software Engineering
Computation by Abstract Devices
Programming Techniques
Informatik
Programmanalyse
Nebenläufigkeit
Programmiersprache
Formale Methode
Programmverifikation
Typsystem
Konferenzschrift
Konferenzschrift > 02.04.2016-08.04.2016 > Eindhoven
Online-Zugang:BTU01
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-861
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
UBY01
DE-29
DE-739
URL des Erstveröffentlichers
Inhaltsverzeichnis
Abstract
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

BTU01
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-861
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
UBY01
DE-29
DE-739
URL des Erstveröffentlichers
Inhaltsverzeichnis
Abstract

Ähnliche Einträge