Lecture Notes in Computer Science : 9560
1st ed. 2016, 2016
Details
- Autor(en) / Beteiligte
- Titel
- Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
- Ist Teil von
- Lecture Notes in Computer Science : 9560
- Auflage
- 1st ed. 2016
- Ort / Verlag
- Cham : Springer International Publishing
- Erscheinungsjahr
- 2016
- Link zum Volltext
- Link zu anderen Inhalten
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783319278100, 9783319278094DOI: 10.1007/978-3-319-27810-0OCLC-Nummer: 961417946, 961417946Titel-ID: 990210439080206441
- Format
- 1 Online-Ressource (X, 345 p. 96 illus. in color)
- Schlagworte
- Computer science, Software engineering, Programming languages (Electronic computers), Algorithms, Computer logic, Mathematical logic