Reihe Texts & Monographs in Symbolic ComputationSpringer International Publishing × Thinking ProgramsLogical Modeling and Reasoning About Languages, Data, Computations, and ExecutionsWolfgang SchreinerSpringer International PublishingHardcover202574,89 € Thinking ProgramsLogical Modeling and Reasoning About Languages, Data, Computations, and ExecutionsWolfgang SchreinerSpringer International PublishingeBook2025 Concrete AbstractionsFormalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model CheckerWolfgang SchreinerSpringer International PublishingSoftcover202458,84 € Integration in Finite Terms: Fundamental Sources Springer International PublishingSoftcover2023181,89 € Concrete AbstractionsFormalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model CheckerWolfgang SchreinerSpringer International PublishingHardcover202380,24 € Concrete AbstractionsFormalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model CheckerWolfgang SchreinerSpringer International PublishingeBook202358,84 € Anti-Differentiation and the Calculation of Feynman Amplitudes Springer International PublishingSoftcover2022171,19 € Thinking ProgramsLogical Modeling and Reasoning About Languages, Data, Computations, and ExecutionsWolfgang SchreinerSpringer International PublishingSoftcover202274,89 € Integration in Finite Terms: Fundamental Sources Springer International PublishingHardcover2022181,89 € Integration in Finite Terms: Fundamental Sources Springer International PublishingeBook2022171,19 €30 Treffer 1 2 3
