Wolfgang Schreiner – författare
Visar alla böcker från författaren Wolfgang Schreiner.
6 produkter
6 produkter
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Häftad, Engelska, 2022
969 kr
Skickas inom 10-15 vardagar
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Inbunden, Engelska, 2023
1 039 kr
Skickas inom 10-15 vardagar
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Häftad, Engelska, 2024
769 kr
Skickas inom 10-15 vardagar
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Inbunden, Engelska, 2025
969 kr
Skickas inom 10-15 vardagar
2 129 kr
Skickas inom 10-15 vardagar
2 129 kr
Skickas inom 10-15 vardagar