Programming languages : build, prove, and compare /

Bibliographic Details

Main Author:	Ramsey, Norman, 1962- (Author)
Format:	Book
Language:	English
Published:	Cambridge, United Kingdom : Cambridge University Press, 2023.
Subjects:	Programming languages (Electronic computers) Computer programming.