Types and Programming Languages – serie

Visar alla böcker i serien Types and Programming Languages. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Types and Programming Languages

   Av Benjamin C. Pierce

   Inbunden, 2002

   1131 kr

   Lägg i varukorg

   A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of …