ISBN-13: 9783030138370 / Angielski / Miękka / 2019 / 203 str.
Analysis of term rewriting.- Logic-based distributed/concurrent programming.- Analysis of logic programming.- Program analysis.
Czytaj nas na: