Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays

Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Probst, Christian W. 19XX- (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cham Springer [2016]
Schriftenreihe:Lecture Notes in Computer Science 9560
Schlagworte:
Computer science
Software engineering
Programming languages (Electronic computers)
Algorithms
Computer logic
Mathematical logic
Computer Science
Logics and Meanings of Programs
Software Engineering
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Informatik
Konferenzschrift
Festschrift
Online-Zugang:DE-523
TUM01
DE-355
UBY01
URL des Erstveröffentlichers
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

DE-523
TUM01
DE-355
UBY01
URL des Erstveröffentlichers
Abstract

Ähnliche Einträge