Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Details
| Verlag | Springer International Publishing |
| Ersterscheinung | 22. Oktober 2018 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 680 Gramm |
| Format | Softcover |
| ISBN-13 | 9783030027674 |
| Seiten | 437 |