Reihe Computer Science Foundations and Applied Logic Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingHardcover202580,24 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingeBook202580,24 € Multi-valued Logic for Decision-Making Under Uncertainty Evgeny KaganSpringer International PublishingHardcover2025213,99 € Multi-valued Logic for Decision-Making Under Uncertainty Evgeny KaganSpringer International PublishingeBook2025203,29 € Structural Decision Diagrams in Digital TestTheory and ApplicationsRaimund UbarSpringer International PublishingSoftcover2025235,39 € Petri Net PrimerA Compendium on the Core Model, Analysis, and SynthesisEike BestSpringer International PublishingSoftcover202564,19 € Category Theory Using HaskellAn Introduction with Moggi and YonedaShuichi YukitaSpringer International PublishingHardcover2024213,99 € Category Theory Using HaskellAn Introduction with Moggi and YonedaShuichi YukitaSpringer International PublishingeBook2024213,99 € Guide to Software Verification with Frama-CCore Components, Usages, and ApplicationsSpringer International PublishingHardcover202469,54 € Guide to Software Verification with Frama-CCore Components, Usages, and ApplicationsSpringer International PublishingeBook202469,54 €30 Treffer 1 2 3
