Pattern Calculus
Computing with Functions and Structures
Jay, Barry 2009 Springer Berlin
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1065940750
- Titel
- Pattern Calculus : Computing with Functions and Structures
- Art des Inhalts
- Monographie
- Verfassangaben
- Barry Jay
- Autor
- Jay, Barry
- Verlag
- 2009 - Berlin : Springer Berlin [2014]
- Jahr
- Erscheinungsdatum: 2009
- Zeitliche Einordnung
- Erscheinungsdatum: 2014
- Umfang/Format
- XVII, 213 Seiten
- ISBN/Einband/Preis
9783642426018- Online
- http://deposit.dnb.de/cgi-bin/dokserv?id=5140342&prov=M&dok_var=1&dok_ext=htm
- Sprache
- eng
- Schlagwörter
-
- Data structures
- Functional programming
- Imperative programming
- Lambda calculus
- Lisp
- OCaml
- Pattern calculus
- Pattern matching
- Polymorphism
- Programming style
- Type theory
- bondi
- data structure
- programming
- programming language
- (Springer Nature Marketing Classification)B
- (Springer Nature Subject Code)SCI14002: Software Engineering/Programming and Operating Systems
- (Springer Nature Subject Collection)SUCO11645: Computer Science
- (Springer Nature Subject Code)SCI16048: Mathematical Logic and Formal Languages
- (Springer Nature Subject Code)SCI1603X: Logics and Meanings of Programs
- (Springer Nature Subject Code)SCI14010: Programming Techniques
- (Springer Nature Subject Code)SCI14037: Programming Languages, Compilers, Interpreters
- Stand
- 24.01.2025 13:05
- Im Katalog seit
- 06.03.2026