Programming Languages and Systems Sungwoo Park
Titel: Programming Languages and Systems, Untertitel: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, Einband: Taschenbuch, Autor: Sungwoo Park, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 528, Maße: 235x155x29 mm, Gewicht: 791 g, Verkäufer: buch-mimpf, Schlagworte: Programmiersprachen Concurrency and parallelism Constraints Dynamic analysis Hoare logic Object oriented languages Semantics Separation logic abstract interpretation automated reasoning compilers dynamic language functional languages logic and verification model checking operational semantics program analysis software security static analysis type systems type theory.
Jetzt bei Ebay:
