ISBN-13: 9783030027674 / Angielski / Miękka / 2018 / 437 str.
Types.- Program Analysis.- Tools.- Functional Programs and Probabilistic Programs.- Verification.- Logic.- Continuation and Model Checking.
Czytaj nas na: