Boekhandel Douwes Den Haag

Practical Foundations for Programming Languages

Harper, Robert

Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

 

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics


Nog te verschijnen

€ 71,06
Adviesprijs: € 78,95

Bezorgen: Zodra beschikbaar


Beschrijving Practical Foundations for Programming Languages

This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.


ISBN
9781107150300
Pagina's
494
Verschenen
NUR
980
Druk
1
Uitvoering
Hardback
Taal
Engels
Uitgever
CAMBRIDGE UNIVERSITY PRESS

Informatica




ondertitel

serie

auteur


meer informatie

ondertitel

serie

auteur


meer informatie

ondertitel

serie

auteur


abonneren