Autorenfreundlich Bücher kaufen?!
Beschreibung
The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.
15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Details
| Verlag | Springer International Publishing |
| Ersterscheinung | 19. November 2017 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 861 Gramm |
| Format | Softcover |
| ISBN-13 | 9783319712369 |
| Auflage | 1st ed. 2017 |
| Seiten | 555 |