Fortgeschrittene Themen in Typen und Programmiersprachen
A

Fortgeschrittene Themen in Typen und Programmiersprachen

Assembler
type theory programming languages dependent types substructural types type inference proof-carrying code modular systems
Autor
Benjamin C. Pierce (editor)
Verlag
The MIT Press
Jahr
2005
Sprache
Englisch
103
Dieses Buch bewerten

Zum Lesen des Buches, Anmelden / Registrieren

Vorschau des Fragments

Ähnliche Bücher

Fortgeschrittene Datenstrukturen und Algorithmen

Fortgeschrittene Datenstrukturen und Algorithmen

Abirami A, Priya R L

Die C++-Programmiersprache

Die C++-Programmiersprache

Bjarne Stroustrup

Computersysteme: Eine programmierorientierte Einführung, Dritte globale Ausgabe

Computersysteme: Eine programmierorientierte Einführung, Dritte globale Ausgabe

Randal E. Bryant, David R. O'Hallaron

Die C++-Programmiersprache, vierte Ausgabe

Die C++-Programmiersprache, vierte Ausgabe

Bjarne Stroustrup

Programmiersprachen: Konzepte und Implementierung

Programmiersprachen: Konzepte und Implementierung

Saverio Perugini

Effektives C, 2. Auflage: Eine Einführung in die professionelle C-Programmierung

Effektives C, 2. Auflage: Eine Einführung in die professionelle C-Programmierung

Robert C. Seacord

Ein vollständiger Leitfaden zur Programmierung in C++

Ein vollständiger Leitfaden zur Programmierung in C++

Ulla Kirch-Prinz, Peter Prinz

C#-Programmierung: Werttypen und Referenztypen

C#-Programmierung: Werttypen und Referenztypen

Mark J. Price

Die C-Programmiersprache, zweite Ausgabe

Die C-Programmiersprache, zweite Ausgabe

Brian W. Kernighan, Dennis M. Ritchie

Fortgeschrittene Perl-Programmierung

Fortgeschrittene Perl-Programmierung

Simon Cozens