Reihe Computer Science Foundations and Applied Logic Proof Assistants and Their Applications in Mathematics and Computer Science Springer International PublishingHardcover202680,24 € Proof Assistants and Their Applications in Mathematics and Computer Science Springer International PublishingeBook2026 First-Order Schemata and Inductive Proof Analysis Alexander LeitschSpringer International PublishingHardcover2025171,19 € First-Order Schemata and Inductive Proof Analysis Alexander LeitschSpringer International PublishingeBook2025171,19 € Causal DiscoveryFoundations, Algorithms and ApplicationsLuis Enrique SucarSpringer International PublishingHardcover202590,94 € Causal DiscoveryFoundations, Algorithms and ApplicationsLuis Enrique SucarSpringer International PublishingeBook202590,94 € Concise Guide to Fault Tree AnalysisModels, Methods and AlgorithmsMariëlle StoelingaSpringer International PublishingHardcover202569,54 € Concise Guide to Fault Tree AnalysisModels, Methods and AlgorithmsMariëlle StoelingaSpringer International PublishingeBook202569,54 € Guide to Software Verification with Frama-CCore Components, Usages, and ApplicationsSpringer International PublishingSoftcover202553,49 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingHardcover202580,24 €29 Treffer 1 2 3
