ISBN-13: 9783030215705 / Angielski / Miękka / 2019 / 471 str.
Models.- Tools.- Synthesis.- Semantics.- Concurrent Processes.- Algorithmic Aspects.- Parametrics and Combinatorics.- Models with Extensions.
Czytaj nas na: