Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Semantics Engineering with PLT Redex
klotband,
2009,
Engelska,
ISBN 9780262062756
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of …
How to Design Programs
klotband,
2001,
Engelska,
ISBN 9780262062183
This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This …