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.

Description
Physical Description:	xxi, 775 pages ; 27 cm
Bibliography:	Includes bibliographical references (pages 733-744) and index.
ISBN:	9781107180185 110718018X