Screen LibraryProgramming 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 |