«Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) - Nikolai Kosmatov» (2024) [KSIĄŻKA] Autor: Nikolai Kosmatov • DVDmax.pl