Guide to Software Verification with Frama C: Core Components, Usages, and Applications (Computer Science Foundations Applied Logic)

Causal Discovery: Foundations, Algorithms and Applications (Computer Science Foundations Applied Logic)

Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms (Computer Science...

Multi valued Logic for Decision Making Under Uncertainty (Computer Science Foundations and Applied Logic)

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science...