CONCUR 2011 -- Concurrency Theory المزيد من كتب Joost-Pieter Katoen & Barbara König

Formal Methods Formal Methods
Formal Methods
٢٠٢٣
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
٢٠١٩
ModelEd, TestEd, TrustEd ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
٢٠١٧