0
Your cart
![]() |
![]() |
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.
|
![]() ![]() You may like...
Taboos and Controversial Issues in…
Christian Ludwig, Theresa Summer
Hardcover
R3,869
Discovery Miles 38 690
Environment, Energy and Climate Change…
Gilles Lefebvre, Elena Jimenez, …
Hardcover
R6,558
Discovery Miles 65 580
Disappearances in the Post-Transition…
Karina Ansolabehere, Barbara A. Frey, …
Hardcover
R2,971
Discovery Miles 29 710
The Encyclopedia of Mass Spectrometry…
Michael L. Gross, Richard M. Caprioli
Hardcover
R11,362
Discovery Miles 113 620
|