ISBN-13: 9783030341749 / Angielski / Miękka / 2019 / 492 str.
Invited Papers.- Types.- Program Analysis.- Semantics.- Language Design and Implementation.- Concurrency.- Verification.- Logic and Automata.
Czytaj nas na: