*Result*: Programming Languages
*Title*:
Programming Languages : Build, Prove, and Compare / Norman Ramsey
*Author/editor-in-chief*:
*Publication*:
Cambridge : Cambridge University Press, 2022
*Distribution*:
Cambridge, UK : Cambridge University Press
*Format*:
*Language*:
*eng*
*ISBN*:
9781316841396 ; 9781107180185 (Sekundärausgabe) ; 9781316632055 (Sekundärausgabe)