Robert Harper – författare
Visar alla böcker från författaren Robert Harper. Handla med fri frakt och snabb leverans.
7 produkter
Since Megalopolis
The Urban Writings of Jean Gottman
Av Jean Gottman, Robert Harper
Häftad, 1990
443 kr
Lägg i varukorg
In 1961 Jean Gottmann published his pioneering study of urban sprawl along the Boston-Washington corridor. The book's title soon became a household word, and its author gained worldwide acclaim for his insights into the dimensions of urbanism. Since writing "Megalopolis," Gottmann has published …
Practical Foundations for Programming Languages
Inbunden, 2016
1148 kr
Lägg i varukorg
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only …
Practical Foundations for Programming Languages
E-bok, 2016
1158 kr
Lägg i varukorg
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only …
Types in Compilation
Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers
Häftad, 2001
568 kr
Lägg i varukorg
The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language …
Types in Compilation
Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers
E-bok, 2003
755 kr
Lägg i varukorg
The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language …
