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!
Beschreibung
Beschreibung:1 Online-Ressource (X, 345 Seiten) Illustrationen
ISBN:9783319278100
9783319278094
ISSN:0302-9743
DOI:10.1007/978-3-319-27810-0

Ähnliche Einträge