ISBN-13: 9783319597454 / Angielski / Miękka / 2017 / 279 str.
Languages and tools.- Types.- Resource, components and information flow.- Verification.
Czytaj nas na: