Dynamic LogicAvDavid Harel,Dexter Kozenm. fl.Häftad, Engelska, 2000992 krLägg i varukorgLägg tillSkickas inom 3-6 vardagar
Basic Category Theory for Computer ScientistsAvBenjamin C. PierceHäftad, Engelska, 1991473 krLägg i varukorgLägg tillSkickas inom 3-6 vardagar
Formal Semantics of Programming LanguagesAn IntroductionAvGlynn WinskelHäftad, Engelska, 19931 167 krLägg i varukorgLägg tillSkickas inom 5-8 vardagar
Computability and ComplexityFrom a Programming PerspectiveAvNeil Deaton JonesInbunden, Engelska, 1997776 krTillfälligt slutTillfälligt slutTillfälligt slut
Foundations for Programming LanguagesAvJohn C. MitchellInbunden, Engelska, 1996192 krTillfälligt slutTillfälligt slutTillfälligt slut
Structure of Typed Programming LanguagesAvDavid A. SchmidtHäftad, Engelska, 199497 krTillfälligt slutTillfälligt slutTillfälligt slut