E-Book, Englisch, 437 Seiten, eBook
Ryu Programming Languages and Systems
Erscheinungsjahr 2018
ISBN: 978-3-030-02768-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
E-Book, Englisch, 437 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-030-02768-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Types.- Program Analysis.- Tools.- Functional Programs and Probabilistic Programs.- Verification.- Logic.- Continuation and Model Checking.