Programming Languages and Systems Atsushi Igarashi
Titel: Programming Languages and Systems, Untertitel: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings, Einband: Taschenbuch, Autor: Atsushi Igarashi, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 484, Maße: 235x155x27 mm, Gewicht: 727 g, Verkäufer: buch-mimpf, Schlagworte: Programmiersprachen Java Virtual Machine Logic Programming Program Verification Programming languages Turing machines Web algorithms concurrent program logic cryptographic primitives decision procedure distributed environments functional languages model checking operational semantics regular expressions security static analysis theorem proving type systems virtual machine.
Jetzt bei Ebay:
