Programming languages : build, prove, and compare /
Saved in:
Main Authors: | |
---|---|
Published: |
Cambridge University Press,
|
Publisher Address: | Cambridge, United Kingdom : |
Publication Dates: | 2023. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xxi, 775 pages : illustrations, forms ; 26 cm |
Bibliography: | Includes bibliographical references (pages 733-744) and index. |
ISBN: |
9781107180185 110718018X |
Index Number: | QA76 |
CLC: | TP312 |
Call Number: | TP312/R183 |