Paperback (29 Oct 2024)
Save $8.00
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.
The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.
| ISBN: | 9789819789429 |
| Publisher: | Springer Nature Singapore |
| Imprint: | Springer |
| Pub date: | 29 Oct 2024 |
| Language: | English |
| Number of pages: | 389 |
| Weight: | 558g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 21mm |
Compiler Design
Paperback
Published 29 Nov 2012
$9.48off
MATLAB Control Systems Engineer...
Paperback
Published 11 Sep 2014
Save $9.48
$5.66off
Language Implementation Patterns
Paperback
Published 19 Jan 2010
Save $5.66
$12.90off
Compiler Design: Principles, Te...
Hardback
Published 31 May 2018
Save $12.90
$1.35off
C Als Erste Programmiersprache
Paperback
|
German
Published 02 Oct 2024
Save $1.35
$3.50off
Iterating Infusion
Paperback
Published 13 Nov 2012
Save $3.50
$8.80off
Real World Software Configurati...
Paperback
Published 11 Nov 2003
Save $8.80
$18.41off
Julia Quick Syntax Reference
Paperback
Published 28 Jan 2025
Save $18.41
$20.86off
The Joys of Hashing
Paperback
Published 30 Oct 2024
Save $20.86
$9.12off
Formal Methods for Industrial C...
Paperback
Published 21 Aug 2024
Save $9.12