Status: Präsenznutzung
Signatur:
Sanne 
Standort: Bereichsbibl. Mathematik+ /
Exemplare:
siehe unten
| Verfasst von: | Sannella, Donald [VerfasserIn]  |
|---|
| | Fourman, Michael P. [VerfasserIn] |
|---|
| | Peng, Haoran [VerfasserIn] |
|---|
| | Wadler, Philip [VerfasserIn] |
|---|
| Titel: | Introduction to computation |
|---|
| Titelzusatz: | Haskell, logic and automata |
|---|
| Institutionen: | Springer Nature Switzerland AG [Verlag] |
|---|
| Verf.angabe: | Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler |
|---|
| Verlagsort: | Cham, Switzerland |
|---|
| Verlag: | Springer |
|---|
| E-Jahr: | 2021 |
|---|
| Jahr: | [2021] |
|---|
| Umfang: | XVI, 366 Seiten |
|---|
| Illustrationen: | Illustrationen |
|---|
| Gesamttitel/Reihe: | Undergraduate topics in computer science |
|---|
| ISBN: | 978-3-030-76907-9 |
|---|
| URL: | Inhaltsverzeichnis: https://www.gbv.de/dms/ilmenau/toc/1787385035.PDF |
|---|
| | zbMATH: https://zbmath.org/1497.68005 |
|---|
| Schlagwörter: | (s)Berechenbarkeit |
|---|
| | (s)Automatentheorie |
|---|
| | (s)HASKELL |
|---|
| Sprache: | eng |
|---|
| Bibliogr. Hinweis: | Erscheint auch als : Online-Ausgabe: Sannella, Donald, 1956 - : Introduction to computation. - Cham : Springer International Publishing, 2021. - 1 Online-Ressource (XVI, 366 Seiten) |
|---|
| RVK-Notation: | ST 130 |
|---|
| | ST 120 |
|---|
| K10plus-PPN: | 1787385035 |
|---|
978-3-030-76907-9
Introduction to computation / Sannella, Donald [VerfasserIn]; [2021]
69264608
