Reihe Computer Science Foundations and Applied Logic 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 € Algorithms for Constructing Computably Enumerable Sets Kenneth J. SupowitSpringer International PublishingSoftcover202464,19 € Structural Decision Diagrams in Digital TestTheory and ApplicationsRaimund UbarSpringer International PublishingHardcover2024235,39 € Structural Decision Diagrams in Digital TestTheory and ApplicationsRaimund UbarSpringer International PublishingeBook2024223,63 € Petri Net PrimerA Compendium on the Core Model, Analysis, and SynthesisEike BestSpringer International PublishingHardcover202485,59 €26 Treffer 1 2 3